Hacker News
- Rust: Beyond the Typechecker https://blog.merigoux.ovh/en/2019/04/16/verifying-rust.html 129 comments
Lobsters
- Rust: beyond the typechecker https://blog.merigoux.ovh/en/2019/04/16/verifying-rust.html 6 comments formalmethods , rust
Linked pages
- Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine https://servo.org/ 270 comments
- F*: A Proof-Oriented Programming Language http://fstar-lang.org 191 comments
- GitHub - Z3Prover/z3: The Z3 Theorem Prover https://github.com/Z3Prover/z3 143 comments
- https://rust-lang.zulipchat.com/#narrow/stream/335408-foundation/topic/Scaling.20Up.20the.20Services/near/325541112 135 comments
- [1903.00982] Oxide: The Essence of Rust https://arxiv.org/abs/1903.00982 87 comments
- Curry–Howard correspondence - Wikipedia https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence 63 comments
- RustBelt http://plv.mpi-sws.org/rustbelt/#project 37 comments
- Leveraging rust types for modular specification and verification - Research Collection https://www.research-collection.ethz.ch/handle/20.500.11850/311092 10 comments
Related searches:
Search whole site: site:blog.merigoux.ovh
Search title: Rust: beyond the typechecker
See how to search.