#llm

• Proofs and Essays Are Paths: An LLM ↔ Prover Loop for Falsifying HallucinationsApr 30, 2026
• The Geometry of Language: Embeddings as Manifolds, Writing as GeodesicsApr 30, 2026
• The Philosophy of Machine Learning, or: What Comes After Hegel?Apr 9, 2026
• I Was Thinking About LLM + Automated Reasoning Before It Was Cool (And I Wasn’t Ready)Apr 2, 2026