筛选结果
8 篇排序
1:34:29EN → 简体中文Jacob Baskin：构建 Superstore 与调度 HiveYaron Minsky, Jacob Baskin · Jane Street这位 Jane Street 工程师回顾分布式分析数据库背后的设计选择，以及为不断扩大的研究集群分配资源的挑战。
1:34:36EN → 简体中文Nate Foster：把网络当作程序Yaron Minsky, Nate Foster · Jane Street从可编程交换机到 BGP，一位编程语言研究者解释高层策略和形式模型如何让网络更易于修改。
1:48:21EN → 简体中文Will Wilson：确定性模拟与软件测试的难题Yaron Minsky, Will Wilson · Jane StreetAntithesis 联合创始人解释可重放模拟如何探索复杂软件、性质为何重要，以及测试的边界在哪里。
1:12:58EN → 简体中文Chris Lattner：Mojo 与可移植 GPU 性能的追求Yaron Minsky, Chris Lattner · Jane StreetRon Minsky 与 Chris Lattner 讨论 Modular 如何通过语言和编译器设计，努力让加速器编程兼顾可移植性与速度。
53:51EN → 简体中文Liora Friedberg：在生产环境中解谜Yaron Minsky, Liora Friedberg · Jane Street生产工程既要应对实时事件，也要通过软件、流程改进和鼓励从错误中学习的文化减少未来的问题。Liora Friedberg 与 Ron Minsky 探讨 Jane Street 的这项工作。
59:38EN → 简体中文Richard Eisenberg 谈依赖类型、OCaml 与 AI 辅助编程Yaron Minsky, Richard Eisenberg · Jane Street类型系统如何表达正确性和性能，以及 AI 编写代码时，精确、易读的规格为何仍然重要。
1:00:04EN → 简体中文Ty Overby 谈 Bonsai 与函数式用户界面构建Yaron Minsky, Ty Overby · Jane StreetJane Street 为什么构建可组合的 OCaml 用户界面框架，以及它的设计如何启发我们理解增量计算、浏览器与可视化编程。
59:26EN → 简体中文Andy Ray 谈 FPGA、硬件设计与 HardcamlYaron Minsky, Andy Ray · Jane StreetJane Street 硬件设计负责人介绍可编程电路如何提升性能，以及软件工具如何简化电路构建和测试。