筛选结果
77 篇排序
3:11:09EN → 简体中文
Lex Fridman· 2020年4月18日播客 · 2 人对谈在计算宇宙中，动物总比你聪明嘉宾 Stephen Wolfram · 主持 Lex FridmanStephen Wolfram 与 Lex Fridman 谈规则 30（Rule 30）、计算不可约性、物理学的超图模型，以及 Wolfram Language 为何是一种谈论这个世界的记号。
1:05:06EN → 简体中文Raph Levien：GPU 计算、函数式设计与二维渲染器Raph Levien通过了解 GPU 执行和内存机制，可以理解并行渲染为什么不能只给每个像素分配一个线程。
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++ 为何仍然站在踏板与刹车片之间，以及为什么要多付代价的抽象不该进入这门语言。
47:18EN → 简体中文OCaml 的非装箱类型与内存布局Stephen · Jane StreetStephen 解释一项拟议的类型系统扩展：在保持 OCaml 快速分离编译的同时控制数据表示。
1:05:59EN → 简体中文Derek Dreyer：用 RustBelt 和 Iris 证明 Rust 的安全性Derek Dreyer · Max Planck Institute for Software SystemsRust 将安全接口与内部使用 unsafe 代码的库结合起来。Derek Dreyer 解释 RustBelt 如何验证这些库，以及为什么证明需要表达力强的并发逻辑。
1:33:13EN → 简体中文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 的数值格式，以及为什么编译器工作大多是软件工程。
1:08:44EN → 简体中文Nathan Linger：Ontology，一套面向语言的权限系统Nathan Linger · Jane StreetJane Street 如何将权限表示为类型化声明，并通过英语界面提供给用户。
1:18:13EN → 简体中文Lindsey Kuper：为正确高效的并行计算设计抽象Lindsey Kuper · University of California, Santa Cruz从基于格的共享状态，到非侵入式并行语言和神经网络验证，高层抽象可以让系统既更安全又更高效。
1:03:45EN → 简体中文Jane Street 与 OCaml 编译器Ron Minsky · Jane StreetRon Minsky 讲述一次偶然采用编程语言的经历，如何发展为对编译器工程和共享开源生态的长期投入。
1:26:44EN → 简体中文Lex Fridman· 2018年11月22日播客 · 2 人对谈他像养孩子一样养大 Python，然后把它放手交给社区嘉宾 Guido van Rossum · 主持 Lex Fridman2018 年，Guido van Rossum 在与 Lex Fridman 的对谈中，从电子制作套件和生命游戏讲起，一直讲到他辞去“终身仁慈独裁者”的那个周四早晨。
1:06:51EN → 简体中文Marius Eriksen：用 Reflow 进行云端增量数据处理Marius Eriksen · GRAIL函数式语言和运行时将数据工作流转化为有类型的程序，复用已有结果并按需配置云资源。
1:14:23EN → 简体中文Cristina Rosu：用 Incr_dom 和 OCaml 构建动态 Web 应用Cristina Rosu · Jane Street从实用角度介绍 Elm 架构、虚拟 DOM 和增量计算，并现场演示计数器应用。
1:02:34EN → 简体中文Andy Ray：用 OCaml 设计 FPGA 并在其上运行软件Andy Ray · Jane StreetHardCaml 将 OCaml 变成硬件设计语言。Andy Ray 讲解 FPGA 基础、仿真和验证，并演示在软 CPU 上运行的 OCaml 软件栈。
1:14:37EN → 简体中文为 OCaml 添加效应系统一个原型将代数效应引入 OCaml 类型系统，并探索如何追踪异常、I/O 和局部可变状态。
1:08:43EN → 简体中文Ron Minsky：类型及其对软件的重要性Yaron Minsky · Jane Street类型系统可以提升程序性能、发现错误并指导大型重构，但其价值取决于语言和工作内容。Ron Minsky 通过实际例子解释其中的取舍。
1:10:18EN → 简体中文Shriram Krishnamurthi：为真实课堂设计计算课程Shriram Krishnamurthi · Brown UniversityBootstrap 项目将课程设计视为工程问题：先确定目标和约束，再支持教师并衡量学习成果。
1:13:25EN → 简体中文Nate Foster：验证可编程网络数据平面Nate Foster, Ron · Cornell Universityp4v 如何将程序验证用于数据包处理代码，以及其结论为何取决于控制平面假设。
52:51EN → 简体中文Caveat Configurator：当配置变成代码Dominick LoBraico · Jane StreetDominick LoBraico 解释灵活的 OCaml 插件为何给 Jane Street 的生产环境带来问题，以及配置生成和规范的插件管理如何应对这些问题。
59:14EN → 简体中文Arjun Guha：验证系统配置Arjun Guha · UMass AmherstPuppet 清单虽然是声明式的，仍可能具有非确定性或不具备幂等性。验证工具通过建模资源之间的相互作用来发现这些问题。
25:44EN → 简体中文函数式编程为何对 Jane Street 重要一位 Jane Street 开发者重新审视 John Hughes 的经典论点，并解释为什么表达能力强的静态类型对交易系统最重要。
28:31EN → 简体中文Incremental：OCaml 中的自调整计算Sebastian Funk · Jane StreetSebastian 介绍 Jane Street 的动态依赖图库，以及高效更新背后的算法。
1:09:24EN → 简体中文Yaron Minsky 谈高效 ML：为代码读者编写 OCamlYaron Minsky · Jane StreetJane Street 分享类型、接口和抽象的实用经验，帮助大型 OCaml 代码库保持易理解和正确。
加载更多已显示 24 篇，共 77 篇