Logbook

Entry 001 10 November 2026

Reliability, Specification, and a New Paradigm of Development

AI agents are making formal proofs cheap. What remains is a human task: deciding whether the specification says what we mean, and answering for it.