絞り込み結果
33 件並び順
34:11ENAnatoliy 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.
13:12ENAlexandra Lato on Building Stack Overflow for Agents and Stack Internal with CodexAarti Bagul, Alexandra Lato · OpenAIStack Overflow’s VP of Product explains how a small team used Codex with opposite constraints on two products—and why agent-native design means letting agents contribute knowledge, not just read it.
1:01:33ENSpec-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:51ENDHH Did Not Write a Line of Omarchy Quattroゲスト DHH · ホスト 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:09ENAfter Agents Leak Tokens and Wipe Databases, Onyx Trains Small Models to Watch the Big Onesホスト 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:31ENAndrej Karpathy Hasn't Typed a Line of Code Since Decemberホスト 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.
27:19ENThe Turing Test Passed. Warp's CEO Says Nobody Seemed to Careホスト Sarah Guo, Elad GilZach Lloyd on distilling intelligence without consciousness, why a 40-year-old terminal is the front door for coding agents, and why senior engineers just got more expensive.
42:12ENHire the AI First: Andrew Ng on Agentic Workflows and the Scarcity of Judgmentホスト 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:54ENEnterprise Coding Tools Flipped the 80/20. Reflection AI Built the Other Halfホスト 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:09ENAlphaEvolve found algorithms humans missed for 50 years — then sped up Gemini 23%ホスト 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:25ENBen Mann thinks superintelligence by 2028 is quite possibleホスト 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.
25:13ENThe AI Table Is Being Cleared: Two or Three Coding Winners, and Forty Years Without a Biotech Giantホスト Sarah Guo, Elad GilSarah Guo and Elad Gil walk through which AI markets have already consolidated, why rival startups still refuse to merge, and the biotech science sitting unused.
5:20:08ENThePrimeagen Would Rather Redesign the Room Than Trust Willpowerゲスト ThePrimeagen · ホスト 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:35ENCopilot Already Writes Half the Code. GitHub's CEO Says Agents Still Have Four Gates to Clearホスト 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:05ENFrom Zero to $20M ARR in Two Months: Bolt's Moat Lives in the Browserホスト 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:04ENKeep the Programmer in the Driver's Seat: Cursor's Founders on Tab, Agents, and Zero-Entropy Editingゲスト Cursor Team · ホスト 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:47ENWorking Backwards from AGI: Magic's Five-Million-Token Betホスト 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.
25:56ENA Prompt Cannot Hold a Good Design: Six AI Practitioners at Midyear 2024ホスト Sarah Guo, Elad GilSarah Guo and Elad Gil stitch together clips from Stripe, Figma, Figure, OpenAI's Sora team, Cognition, and Scale into a half-year snapshot of what people actually shipping AI were willing to claim.
29:28ENDevin Will Not Replace Engineers. It Will Multiply Them, Says Cognition’s Scott Wuホスト Sarah Guo, Elad GilThe IOI champion behind Devin explains why an AI software engineer that you can watch over the shoulder creates more human engineers, not fewer.
46:36ENAfter a decade of code search, Sourcegraph’s CTO says the coding-AI fight is outside the modelホスト 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:48ENFourteen People, $200 Million of Compute, and the Reliability Bottleneck for Agentsホスト 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.
29:38ENA Beginner Just Shipped a $250K Business. Professionals Got 30 Percent.ホスト Sarah Guo, Elad GilReplit CEO Amjad Masad on Ghostwriter, why a 3-billion-parameter model was enough, and the agents he wants earning bounties while you sleep.
41:40ENEvery 10 Milliseconds Cost Copilot 1% of Completionsホスト 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:33ENThe Self Is a GPT Prompt: Wojciech Zaremba on Consciousness, Codex, and Fermi's Silenceゲスト Wojciech Zaremba · ホスト 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.
もっと見る33 件中 24 件を表示









