筛选结果
42 篇排序
34:11EN → 简体中文
GOTO Conferences· 2026年10月23日Anatoliy Bilenko 和 Alberto Carretero：用形式化方法和 AI 让数据库协议可靠Anatoliy Bilenko, Alberto Carretero · CanonicalCanonical 的数据库工程师把可执行规格、基于模型的测试、故障探索和重建的执行历史串起来，并说明为什么这些方法单独用，都无法证明真实系统正确。
1:56:28EN → 简体中文
The Pragmatic Engineer· 2026年10月21日播客 · 2 人对谈Will Larson：工程管理的修订规则嘉宾 Will Larson · 主持 Gergely Orosz2010 年代教给工程经理的第一课，是从此再也不要做技术决策。Imprint CTO、《Staff Engineer》作者 Will Larson 认为那个时代已经结束：回不到工作细节里的经理，正在掉进职业陷阱。
1:01:33EN → 简体中文
DeepLearningAI· 2026年9月22日用编程 Agent 做规格驱动开发：先写规格，再让 Agent 去建Andrew Ng, Paul Everitt · DeepLearning.AIJetBrains 开发者布道师 Paul Everitt 走完一整套规格驱动流程：一份项目章程，规划—实现—验收的功能循环，以及能跨工具带走的 agent 技能。氛围编程的替代方案，是一份 agent 忘不掉的 Markdown 契约。
4:18:22EN → 简体中文
Lex Fridman· 2026年5月6日播客 · 2 人对谈每个周期都重要：解码几乎全网视频的志愿者们嘉宾 FFmpeg · 主持 Lex FridmanLex Fridman 与 Jean-Baptiste Kempf、Kieran Kunhya 谈 FFmpeg、VLC、手写汇编，以及 YouTube、Netflix 和火星车背后那群没有报酬的人。
4:34:10EN → 简体中文Lex Fridman· 2025年9月30日播客 · 2 人对谈Pavel Durov 为十亿人打造了 Telegram，自己却不肯随身带手机嘉宾 Pavel Durov · 主持 Lex Fridman在与 Lex Fridman 长达四个半小时的对话中，这位 Telegram 创始人讲述了自己对自由的理解：从童年时离开苏联，到法国的一间拘留室、一次投毒，再到只有 40 人的工程团队。
1:50:28EN → 简体中文Lex Fridman· 2025年8月29日播客 · 2 人对谈每月有二十亿人打开的 87KB 程序嘉宾 Dave Plummer · 主持 Lex FridmanDave Plummer 和 Lex Fridman 聊任务管理器、早年的微软，以及自闭症人的大脑究竟怎么运作。
6:08:48EN → 简体中文Lex Fridman· 2025年7月12日播客 · 2 人对谈没人认真相信 Cookie 横幅有用嘉宾 DHH · 主持 Lex FridmanLex Fridman 与 David Heinemeier Hansson 聊了六个小时，话题涵盖 Ruby、Rails、AI、离开云、苹果的 App Store，以及小公司为什么依然可以拒绝别人的钱。
4:25:19EN → 简体中文Lex Fridman· 2025年4月30日播客 · 2 人对谈一款共享软件文本编辑器、一场 30 小时的狂欢，与苹果的五年之战嘉宾 Tim Sweeney · 主持 Lex Fridman蒂姆·斯威尼回顾虚幻引擎三十年的成长、《堡垒之夜》大逃杀四周成型的过程、为元宇宙设计的新语言，以及他为什么认为苹果站在了计算机历史的错误一边。
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.
1:07:34EN
Sequoia Capital· 2024年8月6日播客GitHub Didn’t Believe Copilot Was Writing 25% of the CodeThomas Dohmke tells Sequoia how an unplanned GPT-3 experiment became Copilot, why GitHub still will not train its own foundation model, and how he wants a billion people writing software by 2030.
46:36EN
No 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.
29:38ENNo Priors: AI, Machine Learning, Tech, & Startups· 2023年9月21日播客 · 2 人对谈A 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.
3:34:03ENLex Fridman· 2023年6月2日播客 · 2 人对谈Python Isn't Finished: Chris Lattner on Mojo and the Hardware Mess嘉宾 Chris Lattner · 主持 Lex FridmanThe LLVM creator returns to Lex Fridman to argue that Python should grow C-like performance instead of forcing people out of the language.
3:15:51EN → 简体中文Lex Fridman· 2022年11月26日播客 · 2 人对谈Python 是写给两类读者的一份菜谱嘉宾 Guido van Rossum · 主持 Lex Fridman吉多·范罗苏姆（Guido van Rossum）谈 CPython 3.11 的提速、缩进、GIL，以及为什么 4.0 对扩展模块的伤害会大过语法本身。
5:14:50ENLex Fridman· 2022年8月4日播客 · 2 人对谈The best programming language is the one you already use嘉宾 John Carmack · 主持 Lex FridmanJohn Carmack talks with Lex Fridman about languages, id Software, VR, rockets, and why AGI might be tens of thousands of lines of code.
3:05:24ENLex Fridman· 2021年9月22日播客 · 2 人对谈Travis Oliphant wrote NumPy in an empty semester — and still wants open source to pay嘉宾 Travis Oliphant · 主持 Lex FridmanThe creator of NumPy, SciPy, and Anaconda tells Lex Fridman how array thinking, a priced book, and the packaging wars shaped scientific Python.
2:21:27EN → 简体中文Lex Fridman· 2021年9月9日播客 · 2 人对谈IBM 手册写得太差，他索性成了计算机科学家嘉宾 Donald Knuth · 主持 Lex FridmanDonald Knuth 与 Lex Fridman 对谈：他在 IBM 650 上写的第一批程序、文学化编程（literate programming）、Knuth-Morris-Pratt 算法，以及他证明过的最难的一条定理。
2:46:57EN → 简体中文Lex Fridman· 2020年10月18日播客 · 2 人对谈编程语言是思维的自行车嘉宾 Chris Lattner · 主持 Lex FridmanChris Lattner 与 Lex Fridman 聊 Swift、LLVM、RISC-V，以及为什么计算的下一次飞跃，与其说是芯片问题，不如说同样是语言问题。
1:51:01ENLex Fridman· 2020年9月24日播客 · 2 人对谈James Gosling Built Java to Make Pointer Bugs Impossible. Chrome Still Has Them.嘉宾 James Gosling · 主持 Lex FridmanIn a 2020 conversation with Lex Fridman, Java’s designer traces a line from a neglected PDP-8 to Emacs, the JVM, and a thirty-year war on memory errors.
1:43:10ENLex Fridman· 2020年7月18日播客 · 2 人对谈Ken Thompson's Wife Left for Three Weeks. He Wrote Unix.嘉宾 Brian Kernighan · 主持 Lex FridmanBrian Kernighan walks Lex Fridman through Bell Labs, C, AWK, AMPL, and a lifetime of tools that millions of people still run — including all of his mistakes.
1:45:56EN → 简体中文Lex Fridman· 2019年12月30日播客 · 2 人对谈0.8 就够了：Donald Knuth 谈算法、TeX，以及他在一把椅子上度过的人生嘉宾 Donald Knuth · 主持 Lex FridmanLex Fridman 到 Donald Knuth 家中做客，聊 IBM 650、极客的大脑、文学化编程、《计算机程序设计艺术》、TeX、P 与 NP 问题，以及他那份 80% 的幸福预算。
1:47:13ENLex Fridman· 2019年11月7日播客 · 2 人对谈When You Hit the Brakes, a Computer Is in the Way嘉宾 Bjarne Stroustrup · 主持 Lex FridmanBjarne Stroustrup on why C++ still sits between the pedal and the pads, and why an abstraction that costs extra has no place in the language.
1:13:06ENLex Fridman· 2019年5月13日播客 · 2 人对谈The Compiler That Got Apple, Google, and Intel to Share a Codebase嘉宾 Chris Lattner · 主持 Lex FridmanChris Lattner walks through LLVM, Clang, Swift, TPU numeric formats, and why compiler work is mostly software engineering.
1:20:09EN → 简体中文Lex Fridman· 2018年11月29日播客 · 2 人对谈Stack Overflow 从来就不是为新手设计的嘉宾 Jeff Atwood · 主持 Lex Fridman在 Stack Overflow 十周年之际，Jeff Atwood 与 Lex Fridman 谈谜题、领导力、Discourse，以及为什么一个软件团队的健康程度，取决于它改动一个词的速度有多快。加载更多已显示 24 篇，共 42 篇