| ▲ | gritzko 7 hours ago | |
might be relevant: https://martin.kleppmann.com/2025/12/08/ai-formal-verificati... | ||
| ▲ | Animats 7 hours ago | parent [-] | |
Yes. I should have cited that. He has this right. | ||
| ▲ | gritzko 7 hours ago | |
might be relevant: https://martin.kleppmann.com/2025/12/08/ai-formal-verificati... | ||
| ▲ | Animats 7 hours ago | parent [-] | |
Yes. I should have cited that. He has this right. | ||