Results
27 articlesSort
34:11EN
GOTO Conferences· Oct 23, 2026Anatoliy Bilenko and Alberto Carretero: Making Database Protocols Reliable with Formal Methods and AIAnatoliy Bilenko, Alberto Carretero · CanonicalCanonical’s database engineers connect executable specifications, model-based tests, failure exploration, and reconstructed execution histories—and explain why none of these techniques proves a real system correct on its own.
1:01:33EN
DeepLearningAI· Sep 22, 2026Spec-Driven Development with Coding Agents: Write the Spec, Let the Agent BuildAndrew Ng, Paul Everitt · DeepLearning.AIJetBrains developer advocate Paul Everitt walks through a full spec-driven workflow: a project constitution, feature loops of plan–implement–validate, and agent skills that travel across tools. The alternative to vibe coding is a markdown contract the agent cannot forget.
5:15:51EN
Lex Fridman· Aug 26, 2026Podcast · 2 speakersDHH Did Not Write a Line of Omarchy QuattroGuest DHH · Host Lex FridmanThirteen months after a skeptical conversation with Lex Fridman, the Rails creator describes how Opus 4.5, a swarm of coding agents, and a one-minute Linux installer ended his era of hand-chiseled Ruby.
41:09EN
No Priors: AI, Machine Learning, Tech, & Startups· May 28, 2026Podcast · 2 speakersAfter Agents Leak Tokens and Wipe Databases, Onyx Trains Small Models to Watch the Big OnesHost Sarah Guo, Elad GilTwo years ago enterprise security buyers told Maxim Bar Kogan he was too early. Now Fortune 10 companies are calling a sub-100-person Israeli startup because they cannot stop agent adoption — only reduce the chance the next action is illegitimate.
1:06:31ENNo Priors: AI, Machine Learning, Tech, & Startups· Mar 20, 2026Podcast · 2 speakersAndrej Karpathy Hasn't Typed a Line of Code Since DecemberHost Sarah Guo, Elad GilOn No Priors, the OpenAI cofounder and former Tesla AI director describes the loopy era of coding agents, AutoResearch, and why the bottleneck is now the human.
42:12ENNo Priors: AI, Machine Learning, Tech, & Startups· Aug 21, 2025Podcast · 2 speakersHire the AI First: Andrew Ng on Agentic Workflows and the Scarcity of JudgmentHost Sarah Guo, Elad GilOn No Priors, Andrew Ng argues that agentic AI has made software cheap and fast, which moves the bottleneck to product judgment, error analysis, and the instinct to try an AI before adding headcount.
1:02:54ENNo Priors: AI, Machine Learning, Tech, & Startups· Jul 17, 2025Podcast · 2 speakersEnterprise Coding Tools Flipped the 80/20. Reflection AI Built the Other HalfHost Sarah Guo, Elad GilFormer Gemini reward-model lead Misha Laskin on Asimov, why comprehension beats generation, and why there is no such thing as generalization—only pulling the test distribution into train.
42:09ENNo Priors: AI, Machine Learning, Tech, & Startups· Jun 26, 2025Podcast · 2 speakersAlphaEvolve found algorithms humans missed for 50 years — then sped up Gemini 23%Host Sarah Guo, Elad GilGoogle DeepMind’s Pushmeet Kohli and Matej Balog tell No Priors how an evolutionary coding agent searches algorithm space the way AlphaGo searched Go.
41:25ENNo Priors: AI, Machine Learning, Tech, & Startups· Jun 12, 2025Podcast · 2 speakersBen Mann thinks superintelligence by 2028 is quite possibleHost Sarah Guo, Elad GilAnthropic's co-founder tells No Priors how Claude 4 unlocked hours of unattended agent work, why the lab built Claude Code, and what an economic Turing test would actually measure.
5:20:08ENLex Fridman· Mar 22, 2025Podcast · 2 speakersThePrimeagen Would Rather Redesign the Room Than Trust WillpowerGuest ThePrimeagen · Host Lex FridmanLex Fridman talks with Michael Paulson about linked lists, Netflix, Neovim, ADHD, addiction, AI, and the night he says God gave him a conscience.
50:35ENNo Priors: AI, Machine Learning, Tech, & Startups· Mar 13, 2025Podcast · 2 speakersCopilot Already Writes Half the Code. GitHub's CEO Says Agents Still Have Four Gates to ClearHost Sarah Guo, Elad GilThomas Dohmke on agent mode, why median developers are not going anywhere, and how AI is repricing the tools that write software.
38:05ENNo Priors: AI, Machine Learning, Tech, & Startups· Dec 5, 2024Podcast · 2 speakersFrom Zero to $20M ARR in Two Months: Bolt's Moat Lives in the BrowserHost Sarah Guo, Elad GilStackBlitz CEO Eric Simons tells No Priors how a five-year WebContainers bet, an open-sourced prompt, and a community of non-coders turned Bolt.new into an overnight full-stack generator.
2:29:04ENLex Fridman· Oct 6, 2024Podcast · 2 speakersKeep the Programmer in the Driver's Seat: Cursor's Founders on Tab, Agents, and Zero-Entropy EditingGuest Cursor Team · Host Lex FridmanMichael Truell, Aman Sanger, Sualeh Asif, and Arvid Lunnemark tell Lex Fridman why they forked VS Code, how Tab and Apply actually work, and why most programming still needs a human iterating in real time.
37:47ENNo Priors: AI, Machine Learning, Tech, & Startups· Aug 30, 2024Podcast · 2 speakersWorking Backwards from AGI: Magic's Five-Million-Token BetHost Sarah Guo, Elad GilEric Steinberger wants a coding colleague you trust like a teammate — and a world that is still a good place thirty years after AGI.
46:36ENNo Priors: AI, Machine Learning, Tech, & Startups· Jan 18, 2024Podcast · 2 speakersAfter a decade of code search, Sourcegraph’s CTO says the coding-AI fight is outside the modelHost Sarah Guo, Elad GilBeyang Liu on Cody, why keyword search still does most of RAG, and why CS fundamentals get more valuable as AI compresses the middleware.
32:48ENNo Priors: AI, Machine Learning, Tech, & Startups· Nov 16, 2023Podcast · 2 speakersFourteen People, $200 Million of Compute, and the Reliability Bottleneck for AgentsHost Sarah Guo, Elad GilImbue co-founders Kanjun Qiu and Josh Albrecht on why agents fail, why language models cannot learn general algorithms, and why they are spending a giant round on GPUs rather than headcount.
41:40ENNo Priors: AI, Machine Learning, Tech, & Startups· Mar 30, 2023Podcast · 2 speakersEvery 10 Milliseconds Cost Copilot 1% of CompletionsHost Sarah Guo, Elad GilGitHub Copilot's chief architect, Alex Graveley, walks through how a leftover code model with a sub-10% test pass rate became a product developers would not quit — and what he is building next at Minion AI.
2:51:33ENLex Fridman· Aug 29, 2021Podcast · 2 speakersThe Self Is a GPT Prompt: Wojciech Zaremba on Consciousness, Codex, and Fermi's SilenceGuest Wojciech Zaremba · Host Lex FridmanOpenAI co-founder Wojciech Zaremba tells Lex Fridman he thinks we might be alone in the universe — and that GPT-3, Codex, and a one-handed robot already hint at how intelligence is built.
1:32:32EN
Lenny's PodcastPodcast · 2 speakersDevin's Scott Wu on Building an AI Software Engineer and Turning Coders into ArchitectsGuest Scott Wu · Host Lenny RachitskyThe Cognition co-founder explains how his 15-person team uses fleets of Devins to build Devin, what the product can and can't do, and why he expects more engineers, not fewer.
40:42ENNo Priors: AI, Machine Learning, Tech, & StartupsPodcast · 2 speakersDon't Mistake a Month of Hype for the End of SoftwareHost Sarah Guo, Elad GilSarah Guo and Elad Gil separate the SaaS-apocalypse noise from the real signals: record revenue ramps, collapsing token prices, and the question of when a founder should sell.
1:34:57ENLenny's PodcastPodcast · 2 speakersFifteen People, Four Products, Zero Handwritten Code: Inside Every's AI-First CompanyGuest Dan Shipper · Host Lenny RachitskyEvery CEO Dan Shipper explains how his small team uses Claude Code, an AI operations lead and compounding engineering to do the work of a much larger company.
1:05:00ENLenny's PodcastPodcast · 2 speakersFrom Arctic Code Vault to Autocomplete: How GitHub Copilot Went From Moonshot to ProductGuest Ryan J. Salva · Host Lenny RachitskyGitHub VP of product Ryan J. Salva explains how a small research team's experiment became Copilot, and what it took to scale it responsibly.
1:28:51ENLenny's PodcastPodcast · 2 speakersSeven Years in the Making: How StackBlitz Turned Bolt into a $40M ARR Overnight SuccessGuest Eric Simons · Host Lenny RachitskyStackBlitz CEO Eric Simons explains how a browser-based operating system, a bootstrapped team and a better Claude model turned a nearly bankrupt company into one of the fastest-growing products ever.
1:09:48ENLenny's PodcastPodcast · 2 speakersLovable's Anton Osika on Building "the Last Piece of Software" With 18 PeopleGuest Anton Osika · Host Lenny RachitskyThe Lovable CEO demos an AI software engineer live and explains how a tiny, obsessive team reached explosive growth.Load moreShowing 24 of 27