I've Locked The Doors And I'm Going To Explain Memory Models
3
Puzzle Club's Founder
4
Puzzle Club's Terrible Treehouse
5
The Ringer
6
Wandering Plumber
7
Membership
8
Is The Guard Real?
9
GUARDS GUARDS GUARDS
10
WHO NEEDS GUARDS?
11
Clone Biohazard (Resident Eval)
12
Static Tracking
13
Miri Tracking
14
Theseus' Puzzle Club
15
Playing 4D Provenance Sudoku
16
Transcending Reality
17
Static Transcendence: Kinda Ok?
18
Dynamic Transcendence: Problematic
19
Allow Forgery?
20
Strict Provenance!!!
21
Avoid Transcendence (Conveniences!)
22
Available On Stable
Description:
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