筛选结果
205 篇排序
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 如何验证这些库，以及为什么证明需要表达力强的并发逻辑。
1:33:13EN → 简体中文Jane Street· 2019年6月27日Don Jones 谈 PowerShell、职业成长与第一位追随者Don Jones · PluralsightPowerShell 教育者 Don Jones 回顾如何编写可组合的小工具、打造有韧性的职业生涯，以及帮助他人融入社区。
1:13:06EN → 简体中文Lex Fridman· 2019年5月13日播客 · 2 人对谈让苹果、谷歌和英特尔共用一套代码库的编译器嘉宾 Chris Lattner · 主持 Lex FridmanChris Lattner 讲述了 LLVM、Clang、Swift、TPU 的数值格式，以及为什么编译器工作大多是软件工程。
57:57EN → 简体中文Jane Street· 2019年5月8日Sebastian Funk：打造快速、安全且易维护的数据包处理器Sebastian Funk · Jane Street一个单核运行情数据的案例展示了延迟目标、分配控制和代码生成如何与高层抽象共存。
1:08:44EN → 简体中文Jane Street· 2019年3月8日Nathan Linger：Ontology，一套面向语言的权限系统Nathan Linger · Jane StreetJane Street 如何将权限表示为类型化声明，并通过英语界面提供给用户。
1:18:13EN → 简体中文Jane Street· 2019年2月11日Lindsey Kuper：为正确高效的并行计算设计抽象Lindsey Kuper · University of California, Santa Cruz从基于格的共享状态，到非侵入式并行语言和神经网络验证，高层抽象可以让系统既更安全又更高效。
1:03:45EN → 简体中文Jane Street· 2018年12月7日Jane Street 与 OCaml 编译器Yaron Minsky · Jane StreetRon Minsky 讲述一次偶然采用编程语言的经历，如何发展为对编译器工程和共享开源生态的长期投入。
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 的对谈中，从电子制作套件和生命游戏讲起，一直讲到他辞去“终身仁慈独裁者”的那个周四早晨。
1:06:51EN → 简体中文Jane Street· 2018年10月24日Marius Eriksen：用 Reflow 进行云端增量数据处理Marius Eriksen · GRAIL函数式语言和运行时将数据工作流转化为有类型的程序，复用已有结果并按需配置云资源。
1:14:23EN → 简体中文Jane Street· 2018年8月24日Cristina Rosu：用 Incr_dom 和 OCaml 构建动态 Web 应用Cristina Rosu · Jane Street从实用角度介绍 Elm 架构、虚拟 DOM 和增量计算，并现场演示计数器应用。加载更多已显示 24 篇，共 205 篇