Ion Stoica — Spark, Ray, and Enterprise Open ...

Formal verification already consumes years of human effort.In this episode, Lukas Biewald talks with Carina Hong, Founder & CEO of Axiom, about why verification is becoming the real bottleneck in high stakes AI systems.They discuss how Axiom uses AI to take on the tedious checkin ...  Show more

“I don't worry about being replaced by AI. I worry about being replaced by someone who's really good at using AI.”Atlassian has 10,000+ engineers currently split-testing the world’s top AI coding tools, from GitHub Copilot and Cursor to Claude Code. In this episode, Co-Founder & ...  Show more

Jim Keller is a legendary microprocessor engineer, having worked at AMD, Apple, Tesla, and now Intel. He’s known for his work on the AMD K7, K8, K12 and Zen microarchitectures, Apple A4, A5 processors, and co-author of the specifications for the x86-64 instruction set and HyperTr ...  Show more

This Week in Startups is presented by:

Vanta. Compliance and security shouldn't be a deal-breaker for startups to win new business. Vanta makes it easy for companies to get a SOC 2 report fast. TWiST listeners can get $1,000 off for a limited time at <a href="http:/ ...

Jack Dorsey is the co-founder and CEO of Twitter and the founder and CEO of Square. Support this podcast by signing up with these sponsors: – MasterClass: https://masterclass.com/lex EPISODE LINKS: Jack’s Twitter: https://twitter.com/jack Start Small Tracker: https://bit.ly/2Kxdi ...  Show more

Brought to you by Braintrust—For when you needed talent, yesterday | Eppo—Run reliable, impactful experiments | Rows—The spreadsheet where data comes to life

—

Scott Belsky is an entrepreneur, auth ...