Full episode
AI Code Needs Specs: Formal Verification & Safer AI Agents
The Cognitive Revolution · Nathan Labenz
Published Oct 12, 2026.
More interviews
The Cognitive RevolutionAI Minds & 8mm Memories: Measuring Experience, Preserving History
530 views · Oct 14
- The Cognitive Revolution
Governing AI Agents: Alan Chan of GovAI on Monitoring, Agent IDs, Rogue Agents & Preparing for RSI
Alan Chan · Research Fellow, GovAI
1:10:05of 2:17:48 · Oct 14 
TBPNXbox Labs, Animatronic Birds, IoT Device Warfare, Reflection, Decart, CharacterAI
Aida Baradari, Thomas Neckel & 7 more
3.6K views · Oct 14
