💻 Lean proved this program 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: 274
# Comments: 131

🔗 https://kirancodes.me/posts/log-who-watches-the-watchers.html

#tech #news