Hacker News
- Rust Foundation Collaborates with AWS to Verify Rust Standard Libraries https://foundation.rust-lang.org/news/rust-foundation-collaborates-with-aws-initiative-to-verify-rust-standard-libraries/ 0 comments
Lobsters
- Rust Foundation Collaborates With AWS Initiative to Verify Rust Standard Libraries https://foundation.rust-lang.org/news/rust-foundation-collaborates-with-aws-initiative-to-verify-rust-standard-libraries/ 4 comments formalmethods , rust , testing
Linking pages
- This Week in Rust 574 · This Week in Rust https://this-week-in-rust.org/blog/2024/11/20/this-week-in-rust-574/ 2 comments
- AWS will pay devs to verify Rust standard library because of 7,500 unsafe functions and enormity of task • DEVCLASS https://devclass.com/2024/11/21/aws-will-pay-devs-to-verify-rust-standard-library-because-of-7500-unsafe-functions-and-enormity-of-task/ 0 comments
Related searches:
Search whole site: site:foundation.rust-lang.org
Search title: Rust Foundation - Rust Foundation Collaborates With AWS Initiative to Verify Rust Standard Libraries
See how to search.