Notes

Short pieces, one idea each

What we think about formal methods, and why. RSS.

• Everything deserves a theory A theory sounds too big for an elevator or an office process. It is not, and it asks what tests never can: a question about every possible case. 27 October 2026