I build systems software and developer tools, mostly around formal methods, distributed systems, and the BEAM. This is where I write up findings from things I’m building.
Posts
-
Governing a codebase as a commons
-
An AI wrote its own TLA+ invariant and caught a real, unfixed etcd bug
subscribe via RSS