Building Bourbaki: A Math Agent That Can Check Its Own Work
How I built an autonomous agent for mathematical reasoning with SymPy, Lean 4, and structured proof techniques, and what I learned along the way
Tag: ai-agents
9 posts with this tag
Make an Honest Resume for Your Coding Agent
Why giving your coding agent an honest map of what you know and don't know changes everything about how it helps you
Building Erdős Navigator: Claude Code as a Theorem Proving Assistant
How program synthesis led me down a rabbit hole through HoTT and algebraic topology, and back out through LLMs and a toolkit for 1,179 unsolved math problems
The Missing Toolbox: Civil Engineering, Ethics, and Creative Writing Classes
Why agent builders need lateral thinking from civil engineering, creative writing, and ethics
Agent Sandboxes and the Proxmox Rabbit Hole
How my obsession with home labs led me to understand why coding agents need isolation
Video Games Were Training Us for This
How puzzles, strategy games, and chemical mixing in Resident Evil prepared me for coding agents
Coding Agent Cheat Codes
CLI flags, environment variables, and proxy tricks for agentic engineering (or vibe coding, whatever you call it)
Coding Agents Made Me a Better Programmer
Why AI coding tools forced me to think at a higher level of abstraction
Whether You're Vibing or Not, You're Going to Use Coding Agents
Counterintuitive things after 125 active repositories and 50k+ commits later in 2025