/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

manishearth.github.io
| | borretti.me

A survey of type systems for memory safety.
2.8 parsecs

Travel
| |
| | ricardomartins.cc

[AI summary] This technical blog post explains the concept of interior mutability in Rust, providing a deep dive into how std::cell::Cell and std::cell::RefCell allow mutable state within immutable structures and discusses their use cases and safety guarantees.
1.6 parsecs

Travel
| |
| | coredumped.dev

Updated: 2023-01-06 About a year ago I was bitten by the PL bug. It started with reading Crafting Interpreters and discovering the wonders hidden under the hood of a compiler. I am also been a big fan of Emacs, and this started to get me interested in how its interpreter works. At the same time, I was reading the Rust book and trying to understand the concepts there. This all came to a head, and I decided to write an Emacs Lisp interpreter called rune in Rust.
2.6 parsecs

Travel
| |
| | swatinem.de


15.3 parsecs

Travel
|