- From Unsafe To Safe | Comprehensive Understanding of Unsafe Rust https://alexzhang-5109.xlog.app/From-Unsafe-To-Safe--Comprehensive-Understanding-of-Unsafe-Rust 12 comments rust
Linked pages
- UB Might Be a Wrong Term for Newer Languages https://matklad.github.io/2023/04/02/ub-might-be-the-wrong-term-for-newer-languages.html 175 comments
- Two Kinds of Invariants: Safety and Validity https://www.ralfj.de/blog/2018/08/22/two-kinds-of-invariants.html 24 comments
- Getting started - The Kani Rust Verifier https://model-checking.github.io/kani/ 12 comments
- Introduction - Unsafe Code Guidelines Reference https://rust-lang.github.io/unsafe-code-guidelines 0 comments
Would you like to stay up to date with Rust? Checkout Rust
Weekly.
Related searches:
Search whole site: site:alexzhang-5109.xlog.app
Search title: From Unsafe To Safe | Comprehensive Understanding of Unsafe Rust - AlexZhang
See how to search.