筛选结果
33 篇排序
34:11EN → 简体中文Anatoliy Bilenko 和 Alberto Carretero:用形式化方法和 AI 让数据库协议可靠Anatoliy Bilenko, Alberto Carretero · CanonicalCanonical 的数据库工程师把可执行规格、基于模型的测试、故障探索和重建的执行历史串起来,并说明为什么这些方法单独用,都无法证明真实系统正确。
13:12EN → 简体中文Alexandra Lato 谈用 Codex 打造 Stack Overflow for Agents 和 Stack InternalAarti Bagul, Alexandra Lato · OpenAIStack Overflow 产品副总裁讲述一个小团队如何在两款产品上,用截然相反的约束使用 Codex——以及为什么面向 agent 的设计意味着让 agent 贡献知识,而不只是读取。
1:01:33EN → 简体中文用编程 Agent 做规格驱动开发:先写规格,再让 Agent 去建Andrew Ng, Paul Everitt · DeepLearning.AIJetBrains 开发者布道师 Paul Everitt 走完一整套规格驱动流程:一份项目章程,规划—实现—验收的功能循环,以及能跨工具带走的 agent 技能。氛围编程的替代方案,是一份 agent 忘不掉的 Markdown 契约。
5:15:51EN → 简体中文DHH 没有亲手写一行 Omarchy Quattro 的代码嘉宾 DHH · 主持 Lex Fridman与莱克斯·弗里德曼一次充满怀疑的对话过去十三个月后,Rails 的创造者讲述了 Opus 4.5、一群编码智能体(Agent)和一个一分钟的 Linux 安装器,如何结束了他一凿一凿手写 Ruby 的时代。
41:09EN → 简体中文智能体(Agent)泄露 Token、删掉数据库之后,Onyx 训练小模型盯着大模型主持 Sarah Guo, Elad Gil两年前,企业安全采购方告诉 Maxim Bar Kogan,他太早了。如今,财富 10 强公司纷纷找上这家不到 100 人的以色列创业公司,因为它们拦不住智能体的普及,能做的只是降低下一步操作不正当的概率。
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:19EN → 简体中文图灵测试已经通过,Warp CEO 说几乎没人在意主持 Sarah Guo, Elad GilZach Lloyd 谈如何在没有意识的前提下蒸馏智能,为什么一个有 40 年历史的终端会成为编程智能体的入口,以及资深工程师为什么刚刚变得更值钱。
42:12EN → 简体中文先招 AI 再招人:Andrew Ng 谈智能体工作流与稀缺的判断力主持 Sarah Guo, Elad GilAndrew Ng 在《No Priors》节目中指出,智能体式 AI(agentic AI)让软件变得又便宜又快,瓶颈因此转移到产品判断、错误分析,以及在增加人手之前先试试 AI 的本能上。
1:02:54EN → 简体中文企业编程工具颠倒了 80/20,Reflection AI 做出了另一半主持 Sarah Guo, Elad Gil前 Gemini 奖励模型负责人 Misha Laskin 谈 Asimov,为什么理解胜过生成,以及为什么根本不存在泛化,只有把测试分布拉进训练。
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:08EN → 简体中文ThePrimeagen 宁可重新设计房间,也不靠意志力嘉宾 ThePrimeagen · 主持 Lex FridmanLex Fridman 与 Michael Paulson 谈链表、网飞(Netflix)、Neovim、ADHD、成瘾、AI,以及他说上帝赐予他良知的那个夜晚。
50:35EN → 简体中文Copilot 已经写了约一半的代码,GitHub CEO 说智能体还得过四道关主持 Sarah Guo, Elad GilThomas Dohmke 谈智能体(Agent)模式,谈为什么普通开发者不会被取代,以及 AI 如何重新定价写代码的工具。
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:04EN → 简体中文让程序员留在驾驶座上:Cursor 创始人谈 Tab、智能体(Agent)与零熵编辑嘉宾 Cursor Team · 主持 Lex FridmanMichael Truell、Aman Sanger、Sualeh Asif 和 Arvid Lunnemark 向莱克斯·弗里德曼(Lex Fridman)讲述了他们为什么要分叉 VS Code、Tab 和 Apply 究竟如何运作,以及为什么大多数编程仍然需要人类实时迭代。
37:47EN → 简体中文从通用人工智能(AGI)倒推:Magic 的 500 万 token 赌注主持 Sarah Guo, Elad GilEric Steinberger 想要的是一位你能像信任队友一样信任的编程同事,以及 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:36EN → 简体中文做了十年代码搜索后,Sourcegraph 的 CTO 认为代码 AI 的竞争发生在模型之外主持 Sarah Guo, Elad GilBeyang Liu 讲 Cody,讲关键词搜索为何仍然承担着检索增强生成(RAG)的大部分工作,以及随着 AI 压缩中间件,计算机基础知识为何变得更有价值。
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:33EN → 简体中文自我是一段 GPT 提示词:Wojciech Zaremba 谈意识、Codex 与费米的沉默嘉宾 Wojciech Zaremba · 主持 Lex FridmanOpenAI 联合创始人 Wojciech Zaremba 对 Lex Fridman 说,他认为我们在宇宙中可能是孤独的;他还说,GPT-3、Codex 和一只单手机器人,已经暗示了智能是如何构建的。
加载更多已显示 24 篇,共 33 篇









