Writing
Notes on building and operating software with AI coding agents under a discipline that makes their output verifiable.
Papers
- A gate that only ever passes is no gate
Most test suites prove that code works. Almost none prove that the tests would notice if it stopped.