Hacker News
- RustBelt: Logical Foundations for the Future of Safe Systems Programming http://plv.mpi-sws.org/rustbelt/#project 16 comments
- RustBelt: Logical Foundations for the Future of Safe Systems Programming (Phd & Postdoc positions) http://plv.mpi-sws.org/rustbelt/ 21 comments rust
Linking pages
- If we must, let's talk about safety | cor3ntin https://cor3ntin.github.io/posts/safety/ 142 comments
- Rust: beyond the typechecker https://blog.merigoux.ovh/en/2019/04/16/verifying-rust.html 135 comments
- Rust in Perspective — linusw https://people.kernel.org/linusw/rust-in-perspective 131 comments
- Undefined Behavior deserves a better reputation | SIGPLAN Blog https://blog.sigplan.org/2021/11/18/undefined-behavior-deserves-a-better-reputation/ 120 comments
- https://jacko.io/safety_and_soundness.html 95 comments
- Baby Steps http://smallcultfollowing.com/babysteps/blog/2016/05/27/the-tootsie-pop-model-for-unsafe-code/ 75 comments
- Formalizing Rust https://www.ralfj.de/blog/2015/10/12/formalizing-rust.html 62 comments
- Aaron Weiss / Reasoning with Types in Rust https://aaronweiss.us/posts/2018-02-26-reasoning-with-types-in-rust.html 44 comments
- The Future of Rust | Matthias Endler https://matthias-endler.de/2017/future-of-rust 44 comments
- A Formal Verification of Rust's Binary Search Implementation https://kha.github.io/2016/07/22/formally-verifying-rusts-binary-search.html 43 comments
- The Tale of a Bug in Arc: Synchronization and Data Races https://www.ralfj.de/blog/2018/07/13/arc-synchronization.html 37 comments
- Rust: beyond the typechecker https://blog.merigoux.fr/en/2019/04/16/verifying-rust.html 33 comments
- Why Rust?. What is Rust language and why Parity… | by Dmitriy Kashitsyn | Parity Technologies | Medium https://medium.com/paritytech/why-rust-846fd3320d3f 32 comments
- Unsafe Rust: How and when (not) to use it - LogRocket Blog https://blog.logrocket.com/unsafe-rust-how-and-when-not-to-use-it/ 27 comments
- This Week in Rust 252 · This Week in Rust https://this-week-in-rust.org/blog/2018/09/18/this-week-in-rust-252/ 25 comments
- This Week in Rust 253 · This Week in Rust https://this-week-in-rust.org/blog/2018/09/25/this-week-in-rust-253/ 23 comments
- Baby Steps http://smallcultfollowing.com/babysteps/blog/2017/03/01/nested-method-calls-via-two-phase-borrowing/ 22 comments
- This Week in Rust 118 · This Week in Rust https://this-week-in-rust.org/blog/2016/02/15/this-week-in-rust-118/ 22 comments
- RustBelt: Securing the Foundations of the Rust Programming Language https://www.ralfj.de/blog/2017/07/08/rustbelt.html 20 comments
- Rust verification tools (2020) – Alastair Reid – Researcher at Intel https://alastairreid.github.io/rust-verification-tools/ 18 comments
Would you like to stay up to date with Rust? Checkout Rust
Weekly.