I write about computer science and software engineering — systems programming, formal methods, and other rabbit holes. Subscribe to get new posts by email, and nothing else.

Subscribe