筛选结果
23 篇排序
34:11EN → 简体中文Anatoliy Bilenko 和 Alberto Carretero:用形式化方法和 AI 让数据库协议可靠Anatoliy Bilenko, Alberto Carretero · CanonicalCanonical 的数据库工程师把可执行规格、基于模型的测试、故障探索和重建的执行历史串起来,并说明为什么这些方法单独用,都无法证明真实系统正确。
1:01:33EN → 简体中文用编程 Agent 做规格驱动开发:先写规格,再让 Agent 去建Andrew Ng, Paul Everitt · DeepLearning.AIJetBrains 开发者布道师 Paul Everitt 走完一整套规格驱动流程:一份项目章程,规划—实现—验收的功能循环,以及能跨工具带走的 agent 技能。氛围编程的替代方案,是一份 agent 忘不掉的 Markdown 契约。
40:13ENAs long as humans still need to read code, the IDE is not dyingZed founder Nathan Sobo argues that source code is a language for people, that terminal agents still need a visual editor, and that conversations should be anchored to every edit.
37:45ENCodex Is a Thought Experiment: What If the Agent Worked on Its Own Computer?OpenAI’s Codex team on training o3 to write mergeable PRs, running four copies of a 1 a.m. bug, and why the product only clicks once you stop pairing and start delegating.
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.
54:47ENNinety Thousand Games a Day: Roblox's Bet That AI Should Wash the DishesStef Corazza, head of generative AI at Roblox, tells Sequoia how a free Studio assistant, a community data bargain, and a 3D foundation model are meant to teach AI game development.
38:28ENHalf of Production AI Is RAG. Fine-Tuning Almost Disappeared.主持 Sarah Guo, Elad GilBraintrust CEO Ankur Goyal tells No Priors what Notion, Zapier, and Vercel actually ship — and which hyped techniques they quietly dropped.
2:29:04EN → 简体中文让程序员留在驾驶座上:Cursor 创始人谈 Tab、智能体(Agent)与零熵编辑嘉宾 Cursor Team · 主持 Lex FridmanMichael Truell、Aman Sanger、Sualeh Asif 和 Arvid Lunnemark 向莱克斯·弗里德曼(Lex Fridman)讲述了他们为什么要分叉 VS Code、Tab 和 Apply 究竟如何运作,以及为什么大多数编程仍然需要人类实时迭代。
59:11ENDon't Train a Model. Factory's Founders Say Go Dig for GoldMatan Grinberg and Eno Reyes tell Sequoia's Training Data why they sell a fleet of job-specific droids on top of other people's models — and how that stack just took SWE-bench from 14% to 19%.
1:25:10ENWriting Code Is Only 30% of the Job. CodiumAI Wants the Other 70%主持 Nathan LabenzItamar Friedman argues that completion is already a commodity, that code integrity is where AI still lags, and that flow engineering—not fancier prompts—is how GPT-4 doubled its score on coding contests.
1:15:39ENAfter 20 Years of Frontend, v0 Wrote Better Code Than Guillermo Rauch Did主持 Nathan LabenzThe Vercel CEO tells Nathan Labenz why every product needs ghost text, why Software 2.0 will ossify the old stack, and why betting against open source is still the expensive mistake.
1:32:41ENThere are maybe 5,000 people who can train frontier models. The rest need AI engineers主持 Nathan LabenzSwyx of Latent Space tells Nathan Labenz how a new job is forming, why OpenAI will Sherlock its developers, and what still does not count as an agent.
38:13ENChatGPT Runs on His Framework. He Still Doesn't Want You Training a Model主持 Sarah Guo, Elad GilVercel founder Guillermo Rauch tells No Priors why frontend is the last mile of AI, why first-generation AI frameworks will be rewritten, and why bots are already stealing your tokens.
43:45ENEight Years of No Growth, Then OpenAI and NVIDIA Became His Customers主持 Sarah Guo, Elad GilWeights & Biases CEO Lukas Biewald tells No Priors how a labeling company with no chasm to cross funded the ML developer tools that trained most of the large language models.
50:03EN → 简体中文Copilot 是副驾驶,不是飞行员:GitHub CPO 谈 AI 不会取代开发者主持 Lenny RachitskyInbal Shani 解释 AI 会改开发者怎么干活,但不会取代人,以及团队该从问题而不是从工具出发去采用它。
1:21:34EN → 简体中文默认公开:GitLab 用短脚趾、看结果和先宽后深做出能每月发版的平台主持 Lenny RachitskyGitLab 首席产品官 David DeSanto 讲这家全球最大的纯远程公司,如何把激进透明、异步协作和先宽后深的产品策略,做成一套持续发版的 DevSecOps 平台。
1:08:07EN → 简体中文上下文才是一切:OpenAI 内部如何招人、出产品和给模型下指令嘉宾 Logan Kilpatrick · 主持 Lenny RachitskyOpenAI 开发者关系负责人 Logan Kilpatrick 谈 GPTs、提示工程、公司为何能跑得快,以及创业公司该在哪里建才不会被碾压
1:07:48EN → 简体中文大多数生产力指标都是谎言:Nicole Forsgren 谈 AI 时代如何衡量开发者体验主持 Lenny RachitskyDORA 与 SPACE 的提出者解释,为何代码行数和旧流水线指标在 AI 时代不够用,以及怎样从倾听、问卷开始改进开发者体验,并把结果接到领导真正关心的事上。
1:19:48ENBigger Models, Cleaner Splits and Human Baselines: Andrew Ng's Practical Recipe for Applied Deep Learning主持 Lex FridmanIn a 2016 Deep Learning School talk, Andrew Ng distills lessons from leading Baidu's AI team into a workflow for diagnosing models, handling data and building a career.
1:30:00EN → 简体中文摩擦日志、工程师度假和 45 分钟上线:Stripe CTO 如何让工程师像产品经理一样干活嘉宾 David Singleton · 主持 Lenny RachitskyDavid Singleton 讲 Stripe 怎么招人、和早期用户共创、把精益求精做成日常,并在五个九可用性下持续发版。
1:15:13EN → 简体中文一年前还怕看代码,他靠 Cursor 把付费产品做上线嘉宾 Zevi Arnovitz · 主持 Lenny RachitskyMeta 产品经理 Zevi Arnovitz 演示一套从建工单到跨模型审查的斜杠命令工作流,说明非技术背景的人如何用 AI 真正交付产品。
1:27:44EN → 简体中文人人都能下厨:Guillermo Rauch 谈 v0、Vercel 和专业分工的瓦解嘉宾 Guillermo Rauch · 主持 Lenny RachitskyVercel CEO 解释 v0 如何把意图变成可上线的产品,为什么弄懂软件怎么运转仍然重要,以及团队怎样靠暴露小时数练出品味。









