筛选结果
206 篇排序
1:12:09EN → 简体中文
Jane Street· 2022年4月20日Doug Patti 谈 Jane Street 的状态机复制Yaron Minsky, Doug Patti · Jane StreetConcord 和 Aria 如何利用有序日志和确定性状态机构建可恢复的交易服务。
1:22:34EN → 简体中文Jane Street· 2022年1月5日Stephen Dolan 谈内存管理、垃圾回收与 OCamlYaron Minsky, Stephen Dolan · Jane Street从追踪回收和引用计数，到预取、局部分配和无装箱类型，Dolan 解释安全、高效内存管理背后的取舍。
1:01:11EN → 简体中文Jane Street· 2021年11月3日Anil Madhavapeddy 谈 MirageOS 与操作系统的演进Yaron Minsky, Anil Madhavapeddy · Jane Street从 Xen 和 unikernel 到 OCaml 多核研究，一位系统研究者解释不断变化的抽象如何重塑基础设施。
1:00:04EN → 简体中文Jane Street· 2021年10月6日Ty Overby 谈 Bonsai 与函数式用户界面构建Yaron Minsky, Ty Overby · Jane StreetJane Street 为什么构建可组合的 OCaml 用户界面框架，以及它的设计如何启发我们理解增量计算、浏览器与可视化编程。
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 算法，以及他证明过的最难的一条定理。
1:00:58EN → 简体中文Jane Street· 2021年9月1日James Somers 谈技术写作、软件与修改Yaron Minsky, James Somers · Jane StreetJane Street 的驻场作家讨论作为共享知识的文档、保持文档有用的工具，以及如何为真实读者写作。
1:02:52EN → 简体中文Jane Street· 2020年11月6日走进 Jane Street 软件工程实习项目Yaron Minsky, Jeanne Van Briesen, Matt Else, Grace Zhang · Jane Street三位前实习生讲述真实项目、导师指导与职业选择，回顾自己如何转为全职工程师。
2:46:57EN → 简体中文Lex Fridman· 2020年10月18日播客 · 2 人对谈编程语言是思维的自行车嘉宾 Chris Lattner · 主持 Lex FridmanChris Lattner 与 Lex Fridman 聊 Swift、LLVM、RISC-V，以及为什么计算的下一次飞跃，与其说是芯片问题，不如说同样是语言问题。
44:34EN → 简体中文Jane Street· 2020年10月14日Chris Perl 谈如何保持网络时钟同步Yaron Minsky, Chris Perl · Jane StreetNTP、PTP 和硬件时间戳如何协同工作，将 Jane Street 的时钟误差控制在可测量的范围内。
59:33EN → 简体中文Jane Street· 2020年10月7日Laurent Mazare 谈 Python、OCaml 与机器学习Yaron Minsky, Laurent Mazare · Jane Street一位研究人员比较探索性笔记本与稳健的生产系统，并解释语言互操作和资源管理如何将两者联系起来。
1:10:27EN → 简体中文Jane Street· 2020年9月30日Greta Yorsh 谈编译器优化与反馈Yaron Minsky, Greta Yorsh · Jane Street从形式化验证、超优化到配置文件引导的代码布局，一位编译器工程师解释性能工作如何与真实用户相结合。
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:02:18EN → 简体中文Jane Street· 2020年9月23日Brian Nigito：组播与市场架构Yaron Minsky, Brian Nigito · Jane Street交易所为何使用有序事件流、组播和专用网络，快速而公平地分发行情数据。
59:26EN → 简体中文Jane Street· 2020年9月17日Andy Ray 谈 FPGA、硬件设计与 HardcamlYaron Minsky, Andy Ray · Jane StreetJane Street 硬件设计负责人介绍可编程电路如何提升性能，以及软件工具如何简化电路构建和测试。
1:43:10EN → 简体中文Lex Fridman· 2020年7月18日播客 · 2 人对谈Ken Thompson 的妻子离开三周，他写出了 Unix嘉宾 Brian Kernighan · 主持 Lex FridmanBrian Kernighan 带 Lex Fridman 回顾贝尔实验室、C 语言、AWK、AMPL，以及他一生做过的那些至今仍有数百万人在用的工具，包括他所有的失误。
1:05:06EN → 简体中文Jane Street· 2020年4月15日Raph Levien：GPU 计算、函数式设计与二维渲染器Raph Levien通过了解 GPU 执行和内存机制，可以理解并行渲染为什么不能只给每个像素分配一个线程。
58:03EN → 简体中文Jane Street· 2020年2月18日Matt Might 谈精准医疗的算法Matt Might · University of Alabama at Birmingham一位计算机科学家介绍基因数据、实验模型和逻辑编程如何帮助临床医生研究疑难病例。
1:23:49EN → 简体中文Jane Street· 2020年1月31日Steve Lee 谈 PowerShell 7：兼容性、新功能与路线图Steve Lee · Microsoft回顾从 Windows PowerShell 转向跨平台 PowerShell 的过程，包括版本 7 预览版演示及其兼容性取舍。
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% 的幸福预算。
49:48EN → 简体中文Jane Street· 2019年12月9日Michael Sikorski：逆向分析勒索软件Michael Sikorski · FireEye恶意软件分析师讲解调查勒索软件时使用的工具与判断，从文件加密谈到 WannaCry 和 NotPetya 的爆发。
1:47:13EN → 简体中文Lex Fridman· 2019年11月7日播客 · 2 人对谈踩下刹车时，中间隔着一台电脑嘉宾 Bjarne Stroustrup · 主持 Lex FridmanBjarne Stroustrup 谈 C++ 为何仍然站在踏板与刹车片之间，以及为什么要多付代价的抽象不该进入这门语言。
47:18EN → 简体中文Jane Street· 2019年10月24日OCaml 的非装箱类型与内存布局Stephen Dolan · Jane StreetStephen 解释一项拟议的类型系统扩展：在保持 OCaml 快速分离编译的同时控制数据表示。
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 篇，共 206 篇