Resultados
27 artículosOrdenar
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 ago 2026Pódcast · 2 vocesDHH Did Not Write a Line of Omarchy QuattroInvitado: DHH · Presenta: 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 may 2026Pódcast · 2 vocesAfter Agents Leak Tokens and Wipe Databases, Onyx Trains Small Models to Watch the Big OnesPresenta: 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 mar 2026Pódcast · 2 vocesAndrej Karpathy Hasn't Typed a Line of Code Since DecemberPresenta: 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 ago 2025Pódcast · 2 vocesHire the AI First: Andrew Ng on Agentic Workflows and the Scarcity of JudgmentPresenta: 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 jul 2025Pódcast · 2 vocesEnterprise Coding Tools Flipped the 80/20. Reflection AI Built the Other HalfPresenta: 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 jun 2025Pódcast · 2 vocesAlphaEvolve found algorithms humans missed for 50 years — then sped up Gemini 23%Presenta: 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 jun 2025Pódcast · 2 vocesBen Mann thinks superintelligence by 2028 is quite possiblePresenta: 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 mar 2025Pódcast · 2 vocesThePrimeagen Would Rather Redesign the Room Than Trust WillpowerInvitado: ThePrimeagen · Presenta: 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 mar 2025Pódcast · 2 vocesCopilot Already Writes Half the Code. GitHub's CEO Says Agents Still Have Four Gates to ClearPresenta: 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 dic 2024Pódcast · 2 vocesFrom Zero to $20M ARR in Two Months: Bolt's Moat Lives in the BrowserPresenta: 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 2024Pódcast · 2 vocesKeep the Programmer in the Driver's Seat: Cursor's Founders on Tab, Agents, and Zero-Entropy EditingInvitado: Cursor Team · Presenta: 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 ago 2024Pódcast · 2 vocesWorking Backwards from AGI: Magic's Five-Million-Token BetPresenta: 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 ene 2024Pódcast · 2 vocesAfter a decade of code search, Sourcegraph’s CTO says the coding-AI fight is outside the modelPresenta: 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 2023Pódcast · 2 vocesFourteen People, $200 Million of Compute, and the Reliability Bottleneck for AgentsPresenta: 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 mar 2023Pódcast · 2 vocesEvery 10 Milliseconds Cost Copilot 1% of CompletionsPresenta: 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 ago 2021Pódcast · 2 vocesThe Self Is a GPT Prompt: Wojciech Zaremba on Consciousness, Codex, and Fermi's SilenceInvitado: Wojciech Zaremba · Presenta: 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 PodcastPódcast · 2 vocesDevin's Scott Wu on Building an AI Software Engineer and Turning Coders into ArchitectsInvitado: Scott Wu · Presenta: 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, & StartupsPódcast · 2 vocesDon't Mistake a Month of Hype for the End of SoftwarePresenta: 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 PodcastPódcast · 2 vocesFifteen People, Four Products, Zero Handwritten Code: Inside Every's AI-First CompanyInvitado: Dan Shipper · Presenta: 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 PodcastPódcast · 2 vocesFrom Arctic Code Vault to Autocomplete: How GitHub Copilot Went From Moonshot to ProductInvitado: Ryan J. Salva · Presenta: 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 PodcastPódcast · 2 vocesSeven Years in the Making: How StackBlitz Turned Bolt into a $40M ARR Overnight SuccessInvitado: Eric Simons · Presenta: 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 PodcastPódcast · 2 vocesLovable's Anton Osika on Building "the Last Piece of Software" With 18 PeopleInvitado: Anton Osika · Presenta: Lenny RachitskyThe Lovable CEO demos an AI software engineer live and explains how a tiny, obsessive team reached explosive growth.Cargar másMostrando 24 de 27