What's the Deal with Unsafe Rust?

Explore Rust's approach to unsafe code in this 59-minute keynote conference talk that demystifies one of the language's most misunderstood aspects. Learn what unsafe Rust is, understand why it exists as a fundamental pillar alongside Rust's ownership-based type system, and discover how it enables low-level programming while maintaining type safety. Examine how unsafe operations are used in practice, contrasting Rust's dedicated attention to unsafe code—including specialized syntax, documentation, and community standards—with other languages that often poorly specify such operations. Gain insights into the tooling and formal methods that help mitigate the inherent risks of unsafe operations, providing a comprehensive understanding of how Rust balances safety with the flexibility needed for systems programming.