Pentagon Anthropic Drama, Verified Spec-Driven Development, and Interview with Martin Alderson!

In this episode, Dan, Shimin and Rahul cover the Pentagon drama between Anthropic/OpenAI and the Department of Defense over AI usage red lines, introduces Sterling 8B — the first inherently interpretable language model — and explores verified spec-driven development (VSDD). The episode features the show's first interview, with Martin Alderson discussing which web frameworks are most token-efficient for AI agents

Takeaways

• Pentagon AI drama: Anthropic's contract red lines (no mass domestic surveillance, no autonomous weapons), the Department of Defense threatening to label Anthropic a supply chain risk, OpenAI swooping in with a competing contract under vague 'lawful use' terms, and Sam Altman's statements
• Sterling 8B by Guide Labs: first inherently interpretable LLM with concept attribution, input context tracing, and training data attribution; uses a concept head with orthogonal loss functions to create non-overlapping interpretable concepts
• Verified Spec-Driven Development (VSDD): a methodology by DollSpace combining spec-driven development, TDD, and adversarial verification gates at each phase; Shimin tested it on a side project using Claude Code
• Interview with Martin Alderson: web framework token efficiency experiment (19 frameworks, minimal frameworks like Flask/Express most efficient), new framework discovery in the AI age, using Open Code for CI/CD PR reviews, keeping Claude.md files updated via scheduled tasks, and building internal CLIs for agent access
• Two Minutes to Midnight: Citadel Securities report on AI adoption S-curves vs recursive improvement, Substack post that shook the S&P 500 about white collar job crisis, Block laying off 45% of workforce citing AI productivity gains

Resources Mentioned
Anthropic and the Department of War
Sam Altman's Tweet
Our agreement with the Department of War
"All Lawful Use": Much More Than You Wanted To Know
Steerling-8B: The First Inherently Interpretable Language Model
Verified Spec-Driven Development (VSDD)
Which web frameworks are most token-efficient for AI agents?
The 2026 Global Intelligence Crisis
‘A feedback loop with no brake’: how an AI doomsday report shook US markets
Block shares soar as much as 24% as company slashes workforce by nearly half
Eli Dourado's Tweet

Chapters

• (00:00) - Introduction to ADI
• (02:55) - Pentagon Drama and AI Models
• (21:36) - OpenAI vs Anthropic: The Contract Controversy
• (28:19) - Innovations in AI: Interpretable Language Models
• (28:42) - Scaling Language Models and Their Implications
• (29:09) - Introduction to Verified Spec Driven Development
• (33:47) - Interview with Martin Alderson
• (55:21) - AI Bubble Watch: Current Trends and Predictions
• (58:47) - The Impact of AI on Job Markets
• (01:04:00) - Reflections on AI's Role in the Economy

• Email us at [email protected] you have any feedback, requests, or just want to say hello! 
• Checkout our website www.adipod.ai