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…
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.