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