Sutro Yaro: Agent-Driven Research on Hinton's Problems
How a SPEC issue, a wave of Claude Code agents, and GitHub PRs reproduced 53 Hinton experiments from 1981 to 2022 in a single day
Yad Konrad
Applied researcher, comedian. Deep interest in meta problem solving, making machines write code that write code.
Recent Notes
View all →Sutro Yaro: Agent-Driven Research on Energy-Efficient Learning
How a study group in San Francisco turned coding agents into research agents by going back to 1960s AI problems with modern tools
Building Mycelium: A Digital Garden Theme for People Who Actually Write
Why I built a digital garden theme around how I actually think and write
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
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
Featured Projects
View all →AgenticEngineer.ING
Solo journey to become an agent-driven engineer through interactive lessons across any domain.
Coding Agents Education Interactive Learning
CodingAgents.Dev
Link aggregator and community for people interested in coding agents, built with a coding agent.
Coding Agents Community Web
Erdős Navigator
Agent navigator that turns Claude Code into a theorem proving assistant for 1,179 of Erdős's math problems.
Python FastAPI SQLite