14. April 2026
Lean proved this program was correct; then I found a bug
Article URL: https://kirancodes.me/posts/log-who-watches-the-watchers.html
Comments URL: https://news.ycombinator.com/item?id=47759709
Points: 5
14. April 2026
Article URL: https://kirancodes.me/posts/log-who-watches-the-watchers.html
Comments URL: https://news.ycombinator.com/item?id=47759709
Points: 5