最新文章
4,484 篇排序
39:33EN → 简体中文
Lex Fridman· 2019年11月22日播客 · 2 人对谈火星不是 B 计划：Dava Newman 谈宇航服、自主性与太空船地球嘉宾 Dava Newman · 主持 Lex FridmanMIT 阿波罗讲席教授、NASA 前副局长 Dava Newman 谈麦哲伦船队的船员、机械反压（mechanical counterpressure），以及为什么下一个十年属于地球。
7:23EN → 简体中文Lex Fridman· 2019年11月20日播客 · 2 人对谈Michael Kearns 谈博弈论与机器学习嘉宾 Michael Kearns · 主持 Lex Fridman为什么为个人优化的选择可能产生较差的集体结果。
1:48:55EN → 简体中文Lex Fridman· 2019年11月19日播客 · 2 人对谈三条不可能同时成立的公平规则嘉宾 Michael Kearns · 主持 Lex FridmanMichael Kearns 在与 Lex Fridman 的对谈中解释：为什么算法公平比隐私更混乱，以及为什么帕累托曲线（Pareto curve）应该摆在真正要做选择的人面前。
2:15EN → 简体中文Lex Fridman· 2019年11月17日播客 · 2 人对谈Elon Musk 谈 Neuralink 与理解大脑嘉宾 Elon Musk · 主持 Lex Fridman一场关于大脑测量设想的 2019 年采访。
4:01EN → 简体中文Lex Fridman· 2019年11月14日播客 · 2 人对谈Elon Musk 谈 AI 安全与监管嘉宾 Elon Musk · 主持 Lex Fridman一场关于监督和技术结果不确定性的 2019 年对话。
4:43EN → 简体中文Lex Fridman· 2019年11月14日播客 · 2 人对谈Elon Musk 谈脑机接口与数字智能嘉宾 Elon Musk · 主持 Lex Fridman一场 2019 年关于大脑类比和数字智能设想的讨论。
36:10EN → 简体中文Lex Fridman· 2019年11月12日播客 · 2 人对谈“这么说还是有机会的”：马斯克谈 Neuralink、AI 和淡蓝点嘉宾 Elon Musk · 主持 Lex FridmanLex Fridman 与马斯克的对话，从意识、AI 的“裁判”，谈到脑植入体的工程难题、特斯拉 Autopilot，再到 Carl Sagan 笔下那粒孤独的微尘。
6:56EN → 简体中文Lex Fridman· 2019年11月10日播客 · 2 人对谈Bjarne Stroustrup 谈学习不止一种编程语言嘉宾 Bjarne Stroustrup · 主持 Lex FridmanC++ 创造者讨论视角、机器架构与抽象。
1:47:13EN → 简体中文Lex Fridman· 2019年11月7日播客 · 2 人对谈踩下刹车时，中间隔着一台电脑嘉宾 Bjarne Stroustrup · 主持 Lex FridmanBjarne Stroustrup 谈 C++ 为何仍然站在踏板与刹车片之间，以及为什么要多付代价的抽象不该进入这门语言。
7:45EN → 简体中文Lex Fridman· 2019年11月6日播客 · 2 人对谈Sean Carroll 谈希尔伯特空间、熵与无穷嘉宾 Sean Carroll · 主持 Lex Fridman一次关于抽象空间和物理不确定性的通俗讨论。
1:29:58EN → 简体中文Lex Fridman· 2019年11月1日播客 · 2 人对谈相信薛定谔方程，代价是多出来的世界嘉宾 Sean Carroll · 主持 Lex Fridman物理学家 Sean Carroll 与 Lex Fridman 谈：为什么多世界诠释（many-worlds）是量子力学最精简的形式，为什么时空可能只是一种近似，以及为什么测量不应作为物理定律中的基本概念。
14:55ENLex Fridman· 2019年10月29日播客 · 2 人对谈Kasparov on Deep Blue, AlphaZero, and Why Machines Win Closed Systems but Humans Still Choose the Questions嘉宾 Garry Kasparov · 主持 Lex FridmanGarry Kasparov revisits the 1997 loss to Deep Blue, explains why machines beat humans in closed systems, and argues that the human role is to pick the right questions and not interfere with superior machine knowledge.
55:24EN → 简体中文Lex Fridman· 2019年10月27日播客 · 2 人对谈机器的手很稳：Garry Kasparov 谈深蓝、AlphaZero 与普京嘉宾 Garry Kasparov · 主持 Lex Fridman前世界冠军在与 Lex Fridman 的对话中讲述，为什么输给 IBM 至今仍让他难受，为什么国际象棋从来不是智力的巅峰，以及他为什么住在纽约。
20:34ENLex Fridman· 2019年10月26日播客 · 2 人对谈Teaching Machines the Frameworks Humans Take for Granted嘉宾 David Ferrucci · 主持 Lex FridmanDavid Ferrucci explains why AI needs shared interpretive frameworks, not just data and pattern matching, to reason and communicate like humans.
4:15EN → 简体中文Lex Fridman· 2019年10月25日播客 · 2 人对谈Michio Kaku 谈爱因斯坦、自然与物理学的边界嘉宾 Michio Kaku · 主持 Lex Fridman一段 2019 年对话讨论宇宙意义、科学规律与伦理。
47:18EN → 简体中文
Jane Street· 2019年10月24日OCaml 的非装箱类型与内存布局Stephen Dolan · Jane StreetStephen 解释一项拟议的类型系统扩展：在保持 OCaml 快速分离编译的同时控制数据表示。
1:01:00EN → 简体中文Lex Fridman· 2019年10月22日播客 · 2 人对谈一千亿个星系，而我们仍是 0.7 类文明嘉宾 Michio Kaku · 主持 Lex Fridman理论物理学家 Michio Kaku 与 Lex Fridman 谈外星人、弦理论、数字永生，以及为什么聚变和火星是文明的下一步。
2:24:31EN → 简体中文Lex Fridman· 2019年10月11日播客 · 2 人对谈Watson 没懂就赢了《危险边缘》（Jeopardy），Ferrucci 想要能解释自己的 AI嘉宾 David Ferrucci · 主持 Lex FridmanLex Fridman 与 David Ferrucci 谈 IBM Watson，为什么预测不等于理解，以及高风险决策为何需要能与我们一起推理的机器。
22:20EN → 简体中文
3Blue1Brown· 2019年10月8日为什么素数的极坐标图会形成螺旋和射线一个可视化连接了 π 的近似、剩余类与素数分布。
1:25:01EN → 简体中文Lex Fridman· 2019年10月3日播客 · 2 人对谈Gary Marcus：深度学习模仿智能，却并不理解嘉宾 Gary Marcus · 主持 Lex Fridman在 Lex Fridman 的播客上，这位纽约大学荣休教授、《重启 AI》（Rebooting AI）的合著者认为，感知与推理需要不同的工具；在机器能够表示伤害、瓶子和意图之前，可信的 AI 不可能实现。
1:03:13EN → 简体中文Lex Fridman· 2019年9月30日播客 · 2 人对谈两种公平不可兼得，Peter Norvig 这样说嘉宾 Peter Norvig · 主持 Lex Fridman《人工智能：一种现代方法》的合著者，在与 Lex Fridman 的对话中谈到再犯风险评分、效用函数、Lisp、MOOC，以及为什么人类水平的智能不应成为目标。
6:13EN → 简体中文Lex Fridman· 2019年9月28日播客 · 2 人对谈Leonard Susskind：把量子计算机用作模拟器嘉宾 Leonard Susskind · 主持 Lex Fridman一场 2019 年对话讨论量子模拟与计算局限。
3:00EN → 简体中文Lex Fridman· 2019年9月27日播客 · 2 人对谈Leonard Susskind 谈首张黑洞图像嘉宾 Leonard Susskind · 主持 Lex Fridman一次关于观测、相对论和精密仪器的 2019 年回顾。
1:05:59EN → 简体中文Jane Street· 2019年9月27日Derek Dreyer：用 RustBelt 和 Iris 证明 Rust 的安全性Derek Dreyer · Max Planck Institute for Software SystemsRust 将安全接口与内部使用 unsafe 代码的库结合起来。Derek Dreyer 解释 RustBelt 如何验证这些库，以及为什么证明需要表达力强的并发逻辑。加载更多已显示 24 篇，共 4,484 篇