Home | Notifications | New Note | Local | Federated | Search | Logout

Note Detail

💙🩷💜 Brett [he/him/any]@brettm@swarm.coiloptic.org (2026-10-06 07:46:49)
"Unsafe Rust" by Robert Seacord (convenor of the ISO/IEC international standardization working group for the C programming language)

"This presentation explores the role of Unsafe Rust in systems programming and its implications for safety-critical software. Rust is designed to provide memory safety and prevent common programming errors through its ownership and borrowing model. However, certain low-level operations require the use of unsafe code, which introduces risks such as undefined behavior (UB) and under-specified semantics. We examine the distinction between safe and unsafe Rust, the nature of UB, and why formal specifications are essential for reliability. The talk highlights challenges in defining Rust’s semantics, the concept of library-level invariants, and the importance of operational models for correctness. Finally, we outline the “Golden Path” toward a complete Rust specification, including initiatives like MiniRust, A-mir-formality, Tree Borrows, and Miri, which aim to close the UB gap and provide a rigorous foundation for safe and predictable Rust programs"

https://www.youtube.com/watch?v=bTAEymCp7Ts

#rustlang