From error-handling to structured concurrency
Solving Regex Crosswords with Z3
The ITTAGE indirect branch predictor
Performance of the Python 3.14 tail-call interpreter
Building personal software with Claude
Finding near-duplicates with Jaccard similarity and MinHash
Stripe's monorepo developer environment
Performance engineering, profilers, and seeing the invisible
Advent of Code in C++ Template Metaprogramming
What's with ML software and pickles?
Graceful behavior at capacity
Efficiency trades off against resiliency
Transformers for software engineers
A Cursed Bug
Distributed cloud builds for everyone
Building LLVM in 90 seconds using Amazon Lambda
Some opinionated thoughts on SQL databases
Towards solving Ultimate Tic Tac Toe
Write testable code by writing generic code
Test suites as classifiers
Systems that defy detailed understanding
Computers can be understood
Reflections on software performance
Why the Sorbet typechecker is fast
Testing and feedback loops
Record/Replay testing in Sorbet
Two kinds of testing
The architecture of declarative configuration management
A Go/C Polyglot
Reader/reader blocking in reader/writer locks
My Apollo Bibliography
Three kinds of memory leaks
Property Testing Like AFL
Property-Based Testing Is Fuzzing
Disable Transparent Hugepages
Two Perspectives on the End-to-End Principle
Running Tensorflow on AWS GPUs
Thoughts On Kubernetes
Measuring Capacity Through Utilization
How I Write Tests
