Explore the intricacies of Unsafe Rust in this engaging RustConf 2022 talk. Delve into the concept of pretending unsafe code is nice and how this approach can lead to better documentation, libraries, and tools. Learn about the new Strict Provenance APIs and their potential to improve Unsafe Rust. Discover the speaker's unique perspective on memory models, puzzle clubs, and the importance of guards in Rust programming. Gain insights into static and dynamic tracking, transcendence, and the challenges of working with unsafe code. Understand how playing pretend can lead to practical improvements in Rust development, making complex problems more manageable and enjoyable to solve.
What If We Pretended Unsafe Code Was Nice, and Then It Was? - RustConf 2022
Overview
Syllabus
Intro
I've Locked The Doors And I'm Going To Explain Memory Models
Puzzle Club's Founder
Puzzle Club's Terrible Treehouse
The Ringer
Wandering Plumber
Membership
Is The Guard Real?
GUARDS GUARDS GUARDS
WHO NEEDS GUARDS?
Clone Biohazard (Resident Eval)
Static Tracking
Miri Tracking
Theseus' Puzzle Club
Playing 4D Provenance Sudoku
Transcending Reality
Static Transcendence: Kinda Ok?
Dynamic Transcendence: Problematic
Allow Forgery?
Strict Provenance!!!
Avoid Transcendence (Conveniences!)
Available On Stable
Taught by
Rust
