Hacker News
Lobsters
- High Assurance Rust https://highassurance.rs/ 3 comments formalmethods , rust , security
- High Assurance Rust - High Assurance Rust: Developing Secure and Robust Software https://highassurance.rs/ 3 comments rust
- Introducing "High Assurance Rust": a FREE systems software security book! https://highassurance.rs 22 comments rust
Linking pages
- Learning Rust in 2023 https://www.wcygan.io/post/learning-rust-in-2023/ 15 comments
- This Week in Rust 436 · This Week in Rust https://this-week-in-rust.org/blog/2022/03/30/this-week-in-rust-436/ 4 comments
- GitHub - mre/idiomatic-rust: 🦀 A peer-reviewed collection of articles/talks/repos which teach concise, idiomatic Rust. https://github.com/mre/idiomatic-rust 2 comments
- Rust Bytes: “Rust Never Sleeps at Microsoft” https://weeklyrust.substack.com/p/rust-bytes-rust-never-sleeps-at-microsoft 0 comments
Related searches:
Search whole site: site:highassurance.rs
Search title: High Assurance Rust - High Assurance Rust: Developing Secure and Robust Software
See how to search.