A 2025 conference on autonomous testing and software correctness.| emptysqua.re
Graphing TLA+ state spaces for fun and profit.| Hillel Wayne
Some useful mental models from the world of formal methods.| Hillel Wayne
