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

Connect with ADIPod
  • Email us at humans@adipod.ai you have any feedback, requests, or just want to say hello! 
  • Checkout our website www.adipod.ai
Pentagon Anthropic Drama, Verified Spec-Driven Development, and Interview with Martin Alderson!
Broadcast by