/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

 www.ralfj.de
Formalizing Rust
| | poignardazur.github.io
Expanding on withoutboat's pinned places ยท PoignardAzur
1.7 parsecs away

Travel
| | Let's talk about pinning in the Rust programming language.
| | plv.mpi-sws.org
RustBelt: Securing the Foundations of the Rust Programming Language (POPL 2018)
1.3 parsecs away

Travel
| |
| | nora.codes
What Is Rust's unsafe? | Nora Codes
1.3 parsecs away

Travel
| | [AI summary] The article explains the concept of 'unsafe' in Rust, clarifying that it allows specific low-level operations while maintaining overall memory safety through the language's type system and safe abstractions.
| | joeprevite.com
Rust Lang Book - Chapter 4 Notes
12.3 parsecs away

Travel
| My notes from Chapter 4 of the Rust Lang Book.