Posts
- The fastest yes in the west
- A source audit of the Bitcoin Piñata
- A shell parser for Claude Code permissions
- The DeFi_share.zip git-hook malware trap
- Mature C test suites, with UBSan enabled
- A Bluetooth Geiger counter for a lost iPad
- A 310-title optimum for Sling Blade Runner
- Exact running quantiles in linear expected time under random order
- The shy heap: offline priority queues in linear time
- Two bcachefs bugs beyond the borrow checker
- The bcachefs stall behind a frozen `ls`
- A solution in search of a problem
- A character 5-gram breaks the two-time pad
- A proof that 0 = 1, in a real zk-VM
- Parallel shrinkers under OxCaml's mode checker
- Choice tapes for generator-guided shrinking