#ai
- Who Verifies the Verifier
- The Verification Problem
- The Philosophy of Machine Learning, or: What Comes After Hegel?
- I Was Thinking About LLM + Automated Reasoning Before It Was Cool (And I Wasn’t Ready)
- I Vibe-coded a Blog Migration in an Hour
- Review of "Artificial Intelligence: Rise of the Machines"