15 posts with this tag
A local-first toolkit that ingests session logs from 17 coding-agent providers to surface cost analytics, filesystem time-travel, and a session memory that agents can query mid-task. It answers two questions about your coding agents: what did this run actually cost, and what did I already learn here?
A practical mindset for picking up coding agents, even if you don't code. Destinations, maps, tools, and why every other agent is a coding agent in disguise.
How building the same agent three times led me to decompose coding agents into composable primitives, and why I didn't write most of the code
58 Jürgen Schmidhuber paper stubs implemented in pure numpy via the same SPEC-driven agent-team workflow, with the build internals now grounded in raw session data
How a SPEC issue, a wave of Claude Code agents, and GitHub PRs reproduced 53 Hinton experiments from 1981 to 2022 in one 49-hour run
How a study group in San Francisco turned coding agents into research agents by going back to 1960s AI problems with modern tools
How I built an autonomous agent for mathematical reasoning with SymPy, Lean 4, and structured proof techniques, and what I learned along the way
Why giving your coding agent an honest map of what you know and don't know changes everything about how it helps you
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
Why agent builders need lateral thinking from civil engineering, creative writing, and ethics
How my obsession with home labs led me to understand why coding agents need isolation
How puzzles, strategy games, and chemical mixing in Resident Evil prepared me for coding agents
CLI flags, environment variables, and proxy tricks for agentic engineering (or vibe coding, whatever you call it)
Why AI coding tools forced me to think at a higher level of abstraction
Counterintuitive things after 125 active repositories and 50k+ commits in 2025
New notes as they sprout — no spam, unsubscribe anytime.
You're in! 🌱