I write about OCaml, Rust, and property-based testing. Recent work: tapecheck, a Conjecture-style choice-tape shrink engine for base_quickcheck, and the same idea for Rust’s proptest. I’m also writing down the design ideas from Mozak’s zkVM — where I was CTO — that we never published.
Posts
- Claude Code permissions: parse the command, don't match the string
- Anatomy of a LinkedIn "fake job" malware drop: the DeFi_share.zip git-hook trap
- Point UBSan at your existing test suite
- Find My said 'Nearby'. The iPad said nothing.
- The heuristic that lied about the ceiling
- Exact running quantiles in linear expected time, if the input is shuffled
- The shy heap: priority queues in linear time, if you promise not to peek
- What the borrow checker won't review
- How a frozen `ls` turned into swap on bcachefs
- A solution in search of a problem
- The two-time pad wanted a 5-gram, not a neural net
- A proof that 0 = 1, in a real zk-VM
- The mode checker reviewed my code
- Your generators already know how to shrink