Blog
- 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.
- How to Use AI Coding Agents Effectively
The gap between frustration and productivity with AI coding agents is judgment. Plan, execute, review, 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.