Lean proved this program was correct; then I found a bug]
Available in: 中文
Lean proved this program was correct; then I found a bug]
Lean proved this program was correct; then I found a bug]
Source
Originally published on hacker news.
Read the full article: [Lean proved this program was correct; then I found a bug]](https://kirancodes.me/posts/log-who-watches-the-watchers.html)
← Previous: [zhihu] 比亚迪财务总监年薪 1013 万元，多名高管薪酬迈入千万级，在业内是什么水平？车企薪资在市场上竞争力如何？Next: SnapState - Persistent state for AI agent workflows] →
0