Rakhim's Web Log
November 20, 2020
Below is a quote from someone’s comment on Hacker News.
It tells so much about modern software: I love this app so much that I’m sometimes
People act like Godel’s Incompleteness Theorem is all about how formal systems are limited in their level of “insight about truth”.