Interview explores software correctness and supply chain security amid AI-driven development

A podcast conversation with engineer Sean Allen examines core challenges of developing software with AI tools, focusing on software correctness and supply chain security fundamentals.

Read the full story at The Pragmatic Engineer ↗

Timeline · 1 report

2026-11-10 15:00 · The Pragmatic Engineer
Software correctness & supply chain security, with Sean Allen

More stories

Anthropic launches Claude Fable 5.2 and Mythos 5.2 with coding gains and 20% price cut — Anthropic (X)
Anthropic kicks off IPO roadshow targeting valuation of up to $1.4 trillion — Wall Street Journal Technology
Nvidia CEO Jensen Huang Admits to Affair With Executive Alleged to Be Chinese Spy — Axios AI+
Google DeepMind's AlphaProof Code Formally Verifies Signal Protocol Security — Google DeepMind Blog
Google Cloud launches Gemini for healthcare to unify clinical data and automate workflows — Google Cloud AI Blog
DeepSeek's Harness agent app reaches 1.54 million daily users — Bloomberg AI
Meta expands AI age-estimation globally to extend Instagram Teen Account protections — Meta Newsroom
Australia To Adopt 'Mandatory' AI Safeguards — Barron's

Get the daily brief of stories like this at 6:30 every morning →