Linear types proposal for Hare
View source (Markdown). Basics of linear types The borrow checker is mostly based on the concept of linear types. In…
View source (Markdown). Basics of linear types The borrow checker is mostly based on the concept of linear types. In…
LT6502 A 6502 based laptop design Yes, I know I’m crazy, but I figured why not. I’m enjoying working the…
Ferrite A fast, lightweight text editor for Markdown, JSON, YAML, and TOML files. Built with Rust and egui for a…
Save StorySave this storySave StorySave this storyThe original version of this story appeared in Quanta Magazine.Standing in the middle of…
Paper (arXiv) Code (GitHub) Read more on Hacker News
The Majority AI View 17 Oct 2025 2025-10-17 2025-10-17 /images/seating-red.jpg ai, tech Even though AI has been the most-talked-about topic…