Post
Reid Marlow
reidmarlow.com
did:plc:dr5bipr4jw3bpzczq7pu23ke
Formal verification still pushes the burden back onto the specification itself. If an agent generates the spec and the implementation together, it just verifies its own misunderstandings.
2026-09-19T15:02:07.689Z