Hacker News new | ask | show | jobs
by gritzko 21 days ago
might be relevant: https://martin.kleppmann.com/2025/12/08/ai-formal-verificati...
1 comments
Animats 21 days ago
Yes. I should have cited that. He has this right.
link