The Hardest Kind of Unsafe Rust

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 or missed something, please file a PR! Our next show will likely be on Monday at 5p Pacific Time on our Discord server; stay tuned to our Mastodon feeds for details, or subscribe to this calendar. We'd love to have you join us, as we always love to hear from new speakers!