筛选结果
35 篇排序
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:08EN → 简体中文Lex Fridman· 2025年3月22日播客 · 2 人对谈ThePrimeagen 宁可重新设计房间，也不靠意志力嘉宾 ThePrimeagen · 主持 Lex FridmanLex Fridman 与 Michael Paulson 谈链表、网飞（Netflix）、Neovim、ADHD、成瘾、AI，以及他说上帝赐予他良知的那个夜晚。
46:36EN → 简体中文
No Priors: AI, Machine Learning, Tech, & Startups· 2024年1月18日播客 · 2 人对谈做了十年代码搜索后，Sourcegraph 的 CTO 认为代码 AI 的竞争发生在模型之外主持 Sarah Guo, Elad GilBeyang Liu 讲 Cody，讲关键词搜索为何仍然承担着检索增强生成（RAG）的大部分工作，以及随着 AI 压缩中间件，计算机基础知识为何变得更有价值。
29:38EN → 简体中文No Priors: AI, Machine Learning, Tech, & Startups· 2023年9月21日播客 · 2 人对谈新手刚做成一门 25 万美元的生意，专业程序员只拿到 30%主持 Sarah Guo, Elad GilReplit 首席执行官 Amjad Masad 谈 Ghostwriter、为什么 30 亿参数的模型就够用，以及他希望智能体在你睡觉时替你赚取悬赏。
3:34:03EN → 简体中文Lex Fridman· 2023年6月2日播客 · 2 人对谈Python 还没有完成：Chris Lattner 谈 Mojo 与硬件的乱局嘉宾 Chris Lattner · 主持 Lex FridmanLLVM 的创造者重返 Lex Fridman 的节目，主张 Python 应当获得接近 C 的性能，而非被迫让人离开这门语言。
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:50EN → 简体中文Lex Fridman· 2022年8月4日播客 · 2 人对谈最好的编程语言，就是你已经在用的那一个嘉宾 John Carmack · 主持 Lex FridmanJohn Carmack 与 Lex Fridman 聊了编程语言、id Software、VR、火箭，以及为什么通用人工智能（AGI）可能只需要几万行代码。
3:05:24EN → 简体中文Lex Fridman· 2021年9月22日播客 · 2 人对谈Travis Oliphant 在一个空学期里写出 NumPy，如今仍想让开源工作有人付钱嘉宾 Travis Oliphant · 主持 Lex FridmanNumPy、SciPy 和 Anaconda 的创造者在与 Lex Fridman 的对谈中，讲述数组思维、一本明码标价的书，以及打包之争如何塑造了科学计算领域的 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:01EN → 简体中文Lex Fridman· 2020年9月24日播客 · 2 人对谈James Gosling 设计 Java，是为了让指针 bug 无法被写出来，Chrome 却仍有这类问题嘉宾 James Gosling · 主持 Lex Fridman在 2020 年与 Lex Fridman 的一次对话中，Java 的设计者顺着一条线索，从一台被冷落的 PDP-8 讲到 Emacs、JVM，以及他与内存错误长达三十年的较量。
1:43:10EN → 简体中文Lex Fridman· 2020年7月18日播客 · 2 人对谈Ken Thompson 的妻子离开三周，他写出了 Unix嘉宾 Brian Kernighan · 主持 Lex FridmanBrian Kernighan 带 Lex Fridman 回顾贝尔实验室、C 语言、AWK、AMPL，以及他一生做过的那些至今仍有数百万人在用的工具，包括他所有的失误。
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:13EN → 简体中文Lex Fridman· 2019年11月7日播客 · 2 人对谈踩下刹车时，中间隔着一台电脑嘉宾 Bjarne Stroustrup · 主持 Lex FridmanBjarne Stroustrup 谈 C++ 为何仍然站在踏板与刹车片之间，以及为什么要多付代价的抽象不该进入这门语言。
1:13:06EN → 简体中文Lex Fridman· 2019年5月13日播客 · 2 人对谈让苹果、谷歌和英特尔共用一套代码库的编译器嘉宾 Chris Lattner · 主持 Lex FridmanChris Lattner 讲述了 LLVM、Clang、Swift、TPU 的数值格式，以及为什么编译器工作大多是软件工程。
1:20:09EN → 简体中文Lex Fridman· 2018年11月29日播客 · 2 人对谈Stack Overflow 从来就不是为新手设计的嘉宾 Jeff Atwood · 主持 Lex Fridman在 Stack Overflow 十周年之际，Jeff Atwood 与 Lex Fridman 谈谜题、领导力、Discourse，以及为什么一个软件团队的健康程度，取决于它改动一个词的速度有多快。
1:26:44EN → 简体中文Lex Fridman· 2018年11月22日播客 · 2 人对谈他像养孩子一样养大 Python，然后把它放手交给社区嘉宾 Guido van Rossum · 主持 Lex Fridman2018 年，Guido van Rossum 在与 Lex Fridman 的对谈中，从电子制作套件和生命游戏讲起，一直讲到他辞去“终身仁慈独裁者”的那个周四早晨。加载更多已显示 24 篇，共 35 篇