Hacker News
Linking pages
- The C Bounded Model Checker: Criminally Underused | Hey There Buddo! https://www.philipzucker.com/cbmc_tut/ 127 comments
- Introducing s2n-quic, a new open-source QUIC protocol implementation in Rust | AWS Security Blog https://aws.amazon.com/blogs/security/introducing-s2n-quic-open-source-protocol-rust/ 14 comments
- arl/README-Rust.md at master · kaxap/arl · GitHub https://github.com/kaxap/arl/blob/master/README-Rust.md 14 comments
- GitHub - rust-unofficial/awesome-rust: A curated list of Rust code and resources. https://github.com/rust-unofficial/awesome-rust?tab=readme-ov-file#database 9 comments
- How s2n-quic uses Kani to inspire confidence | Kani Rust Verifier Blog https://model-checking.github.io/kani-verifier-blog/2023/05/30/how-s2n-quic-uses-kani-to-inspire-confidence.html 0 comments
- Turbocharging Rust Code Verification | Kani Rust Verifier Blog https://model-checking.github.io/kani-verifier-blog/2023/08/03/turbocharging-rust-code-verification.html 0 comments
- How Open Source Projects are Using Kani to Write Better Software in Rust | AWS Open Source Blog https://aws.amazon.com/blogs/opensource/how-open-source-projects-are-using-kani-to-write-better-software-in-rust/ 0 comments
Linked pages
- Announcing Rust 1.60.0 | Rust Blog https://blog.rust-lang.org/2022/04/07/Rust-1.60.0.html 186 comments
- https://crates.io/crates/rustls 29 comments
- GitHub - aws/s2n-tls: An implementation of the TLS/SSL protocols https://github.com/aws/s2n-tls 11 comments
- RFC 9000: QUIC: A UDP-Based Multiplexed and Secure Transport https://www.rfc-editor.org/rfc/rfc9000.html 0 comments
- QUIC Working Group https://quicwg.org/ 0 comments
Would you like to stay up to date with Rust? Checkout Rust
Weekly.
Related searches:
Search whole site: site:github.com
Search title: GitHub - aws/s2n-quic: An implementation of the IETF QUIC protocol
See how to search.