iddqd, or the hardest kind of unsafe Rust
Summary
This article dives into iddqd, a Rust library for complex in-memory maps that borrow keys from values. It discusses why unsafe Rust is needed in certain patterns, how Oxide ensures soundness through architectural design, extensive testing (including Miri and model-based testing), and even LLM-driven adversarial reviews to catch edge cases in foundational data structures.