Résultats
27 articlesTrier
34:11EN
GOTO Conferences· 23 oct. 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· 22 sept. 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· 26 août 2026Podcast · 2 voixDHH Did Not Write a Line of Omarchy QuattroInvité : DHH · Anime : 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· 28 mai 2026Podcast · 2 voixAfter Agents Leak Tokens and Wipe Databases, Onyx Trains Small Models to Watch the Big OnesAnime : 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· 20 mars 2026Podcast · 2 voixAndrej Karpathy Hasn't Typed a Line of Code Since DecemberAnime : 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· 21 août 2025Podcast · 2 voixHire the AI First: Andrew Ng on Agentic Workflows and the Scarcity of JudgmentAnime : 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· 17 juil. 2025Podcast · 2 voixEnterprise Coding Tools Flipped the 80/20. Reflection AI Built the Other HalfAnime : 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· 26 juin 2025Podcast · 2 voixAlphaEvolve found algorithms humans missed for 50 years — then sped up Gemini 23%Anime : 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· 12 juin 2025Podcast · 2 voixBen Mann thinks superintelligence by 2028 is quite possibleAnime : 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· 22 mars 2025Podcast · 2 voixThePrimeagen Would Rather Redesign the Room Than Trust WillpowerInvité : ThePrimeagen · Anime : 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· 13 mars 2025Podcast · 2 voixCopilot Already Writes Half the Code. GitHub's CEO Says Agents Still Have Four Gates to ClearAnime : 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· 5 déc. 2024Podcast · 2 voixFrom Zero to $20M ARR in Two Months: Bolt's Moat Lives in the BrowserAnime : 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· 6 oct. 2024Podcast · 2 voixKeep the Programmer in the Driver's Seat: Cursor's Founders on Tab, Agents, and Zero-Entropy EditingInvité : Cursor Team · Anime : 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· 30 août 2024Podcast · 2 voixWorking Backwards from AGI: Magic's Five-Million-Token BetAnime : 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· 18 janv. 2024Podcast · 2 voixAfter a decade of code search, Sourcegraph’s CTO says the coding-AI fight is outside the modelAnime : 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· 16 nov. 2023Podcast · 2 voixFourteen People, $200 Million of Compute, and the Reliability Bottleneck for AgentsAnime : 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· 30 mars 2023Podcast · 2 voixEvery 10 Milliseconds Cost Copilot 1% of CompletionsAnime : 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· 29 août 2021Podcast · 2 voixThe Self Is a GPT Prompt: Wojciech Zaremba on Consciousness, Codex, and Fermi's SilenceInvité : Wojciech Zaremba · Anime : 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 voixDevin's Scott Wu on Building an AI Software Engineer and Turning Coders into ArchitectsInvité : Scott Wu · Anime : 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 voixDon't Mistake a Month of Hype for the End of SoftwareAnime : 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 voixFifteen People, Four Products, Zero Handwritten Code: Inside Every's AI-First CompanyInvité : Dan Shipper · Anime : 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 voixFrom Arctic Code Vault to Autocomplete: How GitHub Copilot Went From Moonshot to ProductInvité : Ryan J. Salva · Anime : 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 voixSeven Years in the Making: How StackBlitz Turned Bolt into a $40M ARR Overnight SuccessInvité : Eric Simons · Anime : 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 voixLovable's Anton Osika on Building "the Last Piece of Software" With 18 PeopleInvité : Anton Osika · Anime : Lenny RachitskyThe Lovable CEO demos an AI software engineer live and explains how a tiny, obsessive team reached explosive growth.Charger plus24 sur 27 affichés