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 agentsTakeawaysPentagon 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 statementsSterling 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 conceptsVerified 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 CodeInterview 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 accessTwo 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 gainsResources MentionedAnthropic and the Department of WarSam Altman's TweetOur agreement with the Department of War"All Lawful Use": Much More Than You Wanted To KnowSteerling-8B: The First Inherently Interpretable Language ModelVerified 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 marketsBlock shares soar as much as 24% as company slashes workforce by nearly halfEli Dourado's TweetChapters(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 ADIPodEmail us at [email protected] you have any feedback, requests, or just want to say hello! Checkout our website www.adipod.ai