iddqd, or the hardest kind of unsafe Rust
How Oxide’s Rust collections library defends against adversarial trait implementations.
In defense of lock poisoning in Rust
It’s worth retaining one of multithreaded Rust’s most valuable features.
SocketAddrV6 is not roundtrip serializable
An investigation into some lesser-known IPv6 features.
Cancelling async Rust
Correctness in the face of cancellations: a written version of my talk at RustConf 2025.
Demystifying monads in Rust through property-based testing
A jargon-free, practical explanation of monads as a design pattern.
Why nextest is process-per-test
Why nextest runs each test in its own process: a game-theoretic view.
Beyond Ctrl-C: The dark corners of Unix signal handling
An introduction to signals: a written version of my talk at RustConf 2023.