The Hardest Kind of Unsafe Rust

On this episode

About this episode

We love Rust for how much the compiler helps enforce safety. But sometimes it's up to us to uphold the complex--and often unclear--expectations of what constitutes safety on our own. Oxide colleague, Rain, joins Bryan and Adam to talk about the technical details of what it takes to impose safety on the hardest type of unsafe Rust. In addition to Bryan Cantrill and Adam Leventhal , we were joined by special guest star, Rain Paharia , Previously on Oxide and Friends: OxF s06e02 - Engineering Rigor in the LLM Age OxF s03e01 - Predictions 2023! Some of the topics we hit on, in the order that we hit them: Oxide Blog: iddqd, or the hardest kind of unsafe Rust PRs needed! If we got something wrong…