Blog
- How to Use AI Coding Agents Effectively
The gap between frustration and productivity with AI coding agents is judgment. Plan, execute, and verify separately, and invest in fast feedback loops.
- The Verification Bottleneck
AI tools produce code faster than teams can verify it. The failures concentrate at service boundaries, and no existing tool closes the gap alone.
- Mental Models for ARENA
A guide to the key mental models you need before starting ARENA, covering transformers, mechanistic interpretability, RL, and alignment.
- What to Do If You Take AGI Seriously
A map of where AI is heading and a framework for making good decisions under deep uncertainty without needing to predict the timeline.