Learning where AI is perhaps going, agentic AI workflows, AI disruption, and SWE transformation.
Over the past year, I've been thinking about AI agents, loop engineering, and verification systems.
A few areas I'm particularly excited about:
- Software factories and formal methods
- Applied AI research in software verification and correctness
- Infra for reliable AI agents:
- Orchestrator
- New computer
- Product UX beyond the lens of chatbot (long-running/background agent, ambient agent)
- AI leadership:
- AI-native organizations with minimal caps on token consumption
- AI operating systems and the organizational transformations they unlock
- Knowledge sharing