Evan Lawrence-Hurt
elh@mas.to
Posts
-
Post #1723564
“To put it in simple economic terms: for most systems, the expected cost of bugs is lower than the expected cost of using the proof techniques that would eliminate those bugs.” https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html