Cancelling async Rust

2025-10-03 ꞏ 20 min read #rust  #talks 
Correctness in the face of cancellations: a written version of my talk at RustConf 2025.
Read more »

Why nextest is process-per-test

2025-01-07 ꞏ 9 min read #nextest  #rust 
Why nextest runs each test in its own process: a game-theoretic view.
Read more »

Open and closed universes

2021-08-02 ꞏ 10 min read #types  #rust 
How to write types that represent choices.
Read more »