筛选结果
27 篇排序
34:11EN → 简体中文
GOTO Conferences· 2026年10月23日Anatoliy Bilenko 和 Alberto Carretero：用形式化方法和 AI 让数据库协议可靠Anatoliy Bilenko, Alberto Carretero · CanonicalCanonical 的数据库工程师把可执行规格、基于模型的测试、故障探索和重建的执行历史串起来，并说明为什么这些方法单独用，都无法证明真实系统正确。
1:01:33EN → 简体中文
DeepLearningAI· 2026年9月22日用编程 Agent 做规格驱动开发：先写规格，再让 Agent 去建Andrew Ng, Paul Everitt · DeepLearning.AIJetBrains 开发者布道师 Paul Everitt 走完一整套规格驱动流程：一份项目章程，规划—实现—验收的功能循环，以及能跨工具带走的 agent 技能。氛围编程的替代方案，是一份 agent 忘不掉的 Markdown 契约。
5:15:51EN → 简体中文
Lex Fridman· 2026年8月26日播客 · 2 人对谈DHH 没有亲手写一行 Omarchy Quattro 的代码嘉宾 DHH · 主持 Lex Fridman与莱克斯·弗里德曼一次充满怀疑的对话过去十三个月后，Rails 的创造者讲述了 Opus 4.5、一群编码智能体（Agent）和一个一分钟的 Linux 安装器，如何结束了他一凿一凿手写 Ruby 的时代。
41:09EN
No Priors: AI, Machine Learning, Tech, & Startups· 2026年5月28日播客 · 2 人对谈After 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:31ENNo Priors: AI, Machine Learning, Tech, & Startups· 2026年3月20日播客 · 2 人对谈Andrej 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.
42:12ENNo Priors: AI, Machine Learning, Tech, & Startups· 2025年8月21日播客 · 2 人对谈Hire 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:54ENNo Priors: AI, Machine Learning, Tech, & Startups· 2025年7月17日播客 · 2 人对谈Enterprise 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:09ENNo Priors: AI, Machine Learning, Tech, & Startups· 2025年6月26日播客 · 2 人对谈AlphaEvolve 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:25ENNo Priors: AI, Machine Learning, Tech, & Startups· 2025年6月12日播客 · 2 人对谈Ben 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.
5:20:08ENLex Fridman· 2025年3月22日播客 · 2 人对谈ThePrimeagen 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:35ENNo Priors: AI, Machine Learning, Tech, & Startups· 2025年3月13日播客 · 2 人对谈Copilot 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:05ENNo Priors: AI, Machine Learning, Tech, & Startups· 2024年12月5日播客 · 2 人对谈From 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:04EN → 简体中文Lex Fridman· 2024年10月6日播客 · 2 人对谈让程序员留在驾驶座上：Cursor 创始人谈 Tab、智能体（Agent）与零熵编辑嘉宾 Cursor Team · 主持 Lex FridmanMichael Truell、Aman Sanger、Sualeh Asif 和 Arvid Lunnemark 向莱克斯·弗里德曼（Lex Fridman）讲述了他们为什么要分叉 VS Code、Tab 和 Apply 究竟如何运作，以及为什么大多数编程仍然需要人类实时迭代。
37:47ENNo Priors: AI, Machine Learning, Tech, & Startups· 2024年8月30日播客 · 2 人对谈Working 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.
46:36ENNo Priors: AI, Machine Learning, Tech, & Startups· 2024年1月18日播客 · 2 人对谈After 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:48ENNo Priors: AI, Machine Learning, Tech, & Startups· 2023年11月16日播客 · 2 人对谈Fourteen 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.
41:40ENNo Priors: AI, Machine Learning, Tech, & Startups· 2023年3月30日播客 · 2 人对谈Every 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:33ENLex Fridman· 2021年8月29日播客 · 2 人对谈The 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.
1:32:32EN → 简体中文
Lenny's Podcast播客 · 2 人对谈把写代码的人变成建筑师：Scott Wu 谈 Devin 与软件工程的下一形态嘉宾 Scott Wu · 主持 Lenny RachitskyCognition 联合创始人解释 15 人团队如何用一群 Devin 开发 Devin，产品现在能做什么、不能做什么，以及为什么他认为程序员会变多而不是变少。
40:42ENNo Priors: AI, Machine Learning, Tech, & Startups播客 · 2 人对谈Don't Mistake a Month of Hype for the End of Software主持 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:57EN → 简体中文Lenny's Podcast播客 · 2 人对谈十五个人、四款产品、零行手写代码：Every 怎样用 AI 当一家更大的公司嘉宾 Dan Shipper · 主持 Lenny RachitskyEvery 联合创始人兼 CEO Dan Shipper 讲述十五人团队如何用 Claude Code、AI 运营负责人和复利工程，撑起日报、四款产品和咨询业务。
1:05:00EN → 简体中文Lenny's Podcast播客 · 2 人对谈从北极代码库到灰色补全：GitHub Copilot 怎样从月球项目做成产品嘉宾 Ryan J. Salva · 主持 Lenny RachitskyGitHub 产品副总裁 Ryan J. Salva 讲述一个小研究团队的实验如何变成 Copilot，以及把它负责任地做大要过哪些关。
1:28:51EN → 简体中文Lenny's Podcast播客 · 2 人对谈七年做成的一夜成名：Bolt 如何在四个月做到四千万美元 ARR嘉宾 Eric Simons · 主持 Lenny RachitskyStackBlitz CEO Eric Simons 讲述浏览器操作系统 WebContainer、精干团队和 Claude Sonnet，如何把一家濒临倒闭的公司变成增长最快的 AI 编程产品之一。
1:09:48EN → 简体中文Lenny's Podcast播客 · 2 人对谈用 18 个人做「最后一块软件」：Lovable CEO Anton Osika 谈可靠、品味与卡住的 AI嘉宾 Anton Osika · 主持 Lenny RachitskyLovable 创始人现场用两个词做出 Airbnb 克隆，并讲一个极小、极偏执的团队如何把增长做到爆炸。加载更多已显示 24 篇，共 27 篇