3 ms·
might be relevant: https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html https://martin.kleppmann.com/2025/12/08/ai-formal-verificati...
by gritzko 3mo ago
might be relevant: https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html https://martin.kleppmann.com/2025/12/08/ai-formal-verificati...
- Animats 3mo agoYes. I should have cited that. He has this right.