• A brief meditation on formal systems and lying goblins https://the-nerve-blog.ghost.io/a-brief-meditation-on-formal-systems-and-lying-goblins/ 29 comments 6/3/2025