筛选结果
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: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:19EN → 简体中文图灵测试已经通过,Warp CEO 说几乎没人在意主持 Sarah Guo, Elad GilZach Lloyd 谈如何在没有意识的前提下蒸馏智能,为什么一个有 40 年历史的终端会成为编程智能体的入口,以及资深工程师为什么刚刚变得更值钱。
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:08EN → 简体中文ThePrimeagen 宁可重新设计房间,也不靠意志力嘉宾 ThePrimeagen · 主持 Lex FridmanLex Fridman 与 Michael Paulson 谈链表、网飞(Netflix)、Neovim、ADHD、成瘾、AI,以及他说上帝赐予他良知的那个夜晚。
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:04EN → 简体中文让程序员留在驾驶座上:Cursor 创始人谈 Tab、智能体(Agent)与零熵编辑嘉宾 Cursor Team · 主持 Lex FridmanMichael Truell、Aman Sanger、Sualeh Asif 和 Arvid Lunnemark 向莱克斯·弗里德曼(Lex Fridman)讲述了他们为什么要分叉 VS Code、Tab 和 Apply 究竟如何运作,以及为什么大多数编程仍然需要人类实时迭代。
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:33EN → 简体中文自我是一段 GPT 提示词:Wojciech Zaremba 谈意识、Codex 与费米的沉默嘉宾 Wojciech Zaremba · 主持 Lex FridmanOpenAI 联合创始人 Wojciech Zaremba 对 Lex Fridman 说,他认为我们在宇宙中可能是孤独的;他还说,GPT-3、Codex 和一只单手机器人,已经暗示了智能是如何构建的。
加载更多已显示 24 篇,共 33 篇









