日志

第 001 篇 2026 年 11 月 10 日 仅英文

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.