/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

 baatz.io
Visualising memory in Rust - Carl Baatz
| | lenholgate.com
Rust - Sharing data between threads - Rambling Comments - Len Holgate's blog
1.9 parsecs away

Travel
| |
| | limpet.net
Rust: A unique perspective
1.2 parsecs away

Travel
| | [AI summary] This article explains Rust's memory safety guarantees by reframing the compiler's borrowing and lifetime checks as a system of unique versus shared access to data.
| | ricardomartins.cc
Interior mutability in Rust, part 3: behind the curtain
1.9 parsecs away

Travel
| | UnsafeCell is the keystone for building interior mutability types in Rust, such as Cell, RefCell, RwLock and Mutex. In this article we'll explore how it works and how it is used by those types.
| | model-checking.github.io
Nondeterministic variables - The Kani Rust Verifier
12.6 parsecs away

Travel
| Documentation for the Kani Rust Verifier