- Observational equivalence and unsafe code (2016) https://smallcultfollowing.com/babysteps/blog/2016/10/02/observational-equivalence-and-unsafe-code/ 2 comments rust
- Observational equivalence and unsafe code http://smallcultfollowing.com/babysteps/blog/2016/10/02/observational-equivalence-and-unsafe-code/ 4 comments rust
Linking pages
- Why Not Rust? https://matklad.github.io/2020/09/20/why-not-rust.html 1082 comments
- https://jacko.io/safety_and_soundness.html 95 comments
- Unsafe as a Human-Assisted Type System https://matklad.github.io/2019/07/25/unsafe-as-a-type-system.html 32 comments
- This Week in Rust 150 · This Week in Rust https://this-week-in-rust.org/blog/2016/10/04/this-week-in-rust-150/ 23 comments
- A collection of notable Rust blog posts · GitHub https://gist.github.com/brson/a324c83a6af6a8a78dfaa9d33eb9b48e 17 comments
- Strengthening the Unsafe Ecosystem through Collaboration :: Sam Sieber https://samsieber.tech/posts/2019/07/strengthening-the-unsafe-ecosystem/ 13 comments
- GitHub - aatxe/oxide: The essence of Rust. https://github.com/aatxe/oxide 0 comments
Linked pages
Would you like to stay up to date with Rust? Checkout Rust
Weekly.
Related searches:
Search whole site: site:smallcultfollowing.com
Search title: Baby Steps
See how to search.