Hacker News
Linking pages
Linked pages
- Google Online Security Blog: Memory Safe Languages in Android 13 https://security.googleblog.com/2022/12/memory-safe-languages-in-android-13.html 926 comments
- Pointers Are Complicated II, or: We need better language specs https://www.ralfj.de/blog/2020/12/14/provenance.html 380 comments
- Do we need a "Rust Standard"? - Mara's Blog https://blog.m-ou.se/rust-standard/ 228 comments
- Diving Deep: implied bounds and variance :3 https://lcnr.de/blog/diving-deep-implied-bounds-and-variance/ 46 comments
- GitHub - rust-lang/miri: An interpreter for Rust's mid-level intermediate representation https://github.com/rust-lang/miri 38 comments
- RustBelt http://plv.mpi-sws.org/rustbelt/#project 37 comments
- Ferrocene - Ferrous Systems https://ferrous-systems.com/ferrocene/ 34 comments
- Tracking Issue for strict_provenance · Issue #95228 · rust-lang/rust · GitHub https://github.com/rust-lang/rust/issues/95228 24 comments
- http://index.html 6 comments
- Baby Steps http://smallcultfollowing.com/babysteps/blog/2016/10/02/observational-equivalence-and-unsafe-code/ 6 comments
Would you like to stay up to date with Rust? Checkout Rust
Weekly.
Related searches:
Search whole site: site:jacko.io
Search title: Safety and Soundness in Rust
See how to search.