Blog

Notes on specs, drift, and verification.