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
Yad Konrad
Applied researcher, comedian. Deep interest in meta problem solving, making machines write code that write code.
Recent Notes
View all →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
The Missing Toolbox: Civil Engineering, Ethics, and Creative Writing Classes
Why agent builders need lateral thinking from civil engineering, creative writing, and ethics
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
Hopper
AI coding assistant built in 2017 - before LLMs. Issue labeling, duplicate detection, commit generation using seq2seq.
Python Deep Learning NMT