The Rust Foundation is excited to support a new contest from our Platinum Member, AWS, that endeavors to crowd-source the verification of the Rust standard libraries! Learn more:
Rust Foundation’s Post
More Relevant Posts
-
Security Researcher @Formal Land - Formal verification for Web3 - Solidity, Rust, OCaml
Nice to see AWS and the 🦀 Rust Foundation associating to formally verify the standard library of Rust! https://lnkd.in/gYDAcdBc This challenge is open to everyone, and we hope to participate with our tool coq-of-rust https://lnkd.in/gRww7QfA 🐓 Verifying the standard library of Rust is critical as: - It contains a lot of unsafe code on which everyone relies for its safety. - Every other verification project needs to have a correct and maintained specification of it to verify code using the standard library.
Rust Foundation
foundation.rust-lang.org
-
Learn how Jacob Latonis stays at the top of his game with MongoDB University! Explore over 1,000 free learning assets, programming-language-specific courses, hands-on labs, and short Learning Bytes https://lnkd.in/gXM6aZ8k
-
Learn how Jacob Latonis stays at the top of his game with MongoDB University! Explore over 1,000 free learning assets, programming-language-specific courses, hands-on labs, and short Learning Bytes https://lnkd.in/g-wtfhbQ
-
Learn how Jacob Latonis stays at the top of his game with MongoDB University! Explore over 1,000 free learning assets, programming-language-specific courses, hands-on labs, and short Learning Bytes https://lnkd.in/ebCgBKaM
-
Learn how Jacob Latonis stays at the top of his game with MongoDB University! Explore over 1,000 free learning assets, programming-language-specific courses, hands-on labs, and short Learning Bytes https://lnkd.in/dJJwZSAE
-
Learn how Jacob Latonis stays at the top of his game with MongoDB University! Explore over 1,000 free learning assets, programming-language-specific courses, hands-on labs, and short Learning Bytes https://lnkd.in/gFbFx-yu
-
📣 On Thursday 20 June, at 16.30 UTC, join me and 🦁 Luciano Mammino for #RustShip episode #8 to talk about Rust on AWS Lambda. ⚙︎ How does the Rust developer experience compare to other programming languages? Are the available tools good enough? 📚 What's the best way to get started with Rust and AWS? 👉 Join us live to ask Luciano your questions:
Rust on AWS Lambda with Luciano Mammino - RustShip #8
https://www.youtube.com/
-
Learn how Jacob Latonis stays at the top of his game with MongoDB University! Explore over 1,000 free learning assets, programming-language-specific courses, hands-on labs, and short Learning Bytes https://lnkd.in/ef-V7i9p
-
🚀 Director of Partners at @MongoDB 🚀 Driving customers transformation through our partners
Learn how Jacob Latonis stays at the top of his game with MongoDB University! Explore over 1,000 free learning assets, programming-language-specific courses, hands-on labs, and short Learning Bytes https://lnkd.in/dbGsDvAt
-
Learn how Jacob Latonis stays at the top of his game with MongoDB University! Explore over 1,000 free learning assets, programming-language-specific courses, hands-on labs, and short Learning Bytes https://lnkd.in/exF429Mb
