14. April 2026

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: 18

Comments: 0

Read original

Latest Posts