An in-depth guide to programming with assertions and advocating for the use of assertions at work, based on ~6 years of experience spread out across a variety of codebases.| typesanitizer.com
A discussion on substantive theories of program design, with the running example of concurrent file modifications.| typesanitizer.com
2025/06| typesanitizer.com
Discussion on notions of software complexity as defined by Rich Hickey, John Ousterhout and Zach Tellman.| typesanitizer.com
A discussion of some of the downsides of Zig| typesanitizer.com
Thoughts on how compiler and database optimizers should evolve in the future, focusing on predictability and guarantees instead of smarts and heroics| typesanitizer.com
Notes on why I left the Swift team at Apple, with some reflections for job seekers and junior people.| typesanitizer.com