筛选结果
13 篇排序
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 硬件设计负责人介绍可编程电路如何提升性能，以及软件工具如何简化电路构建和测试。
1:08:43EN → 简体中文Ron Minsky：类型及其对软件的重要性Yaron Minsky · Jane Street类型系统可以提升程序性能、发现错误并指导大型重构，但其价值取决于语言和工作内容。Ron Minsky 通过实际例子解释其中的取舍。
1:09:24EN → 简体中文Yaron Minsky 谈高效 ML：为代码读者编写 OCamlYaron Minsky · Jane StreetJane Street 分享类型、接口和抽象的实用经验，帮助大型 OCaml 代码库保持易理解和正确。
1:04:56EN → 简体中文Yaron Minsky：Incremental 如何从研究概念走向生产库Yaron Minsky · Jane Street回顾 Jane Street 的 OCaml 自调整计算库背后的算法、内存问题和性能权衡。
1:12:41EN → 简体中文Ron Minsky：交易、正确性与 Jane Street 转向 OCamlYaron Minsky · Jane StreetJane Street 的技术人员介绍做市业务，以及可读性、类型和可预测的性能如何影响公司选择 OCaml。
51:35EN → 简体中文Yaron Minsky 谈高效 ML：接口、不变量与代码读者Yaron Minsky · Jane Street在 2011 年 Harvard 讲座的第一部分，Jane Street 的 Yaron Minsky 展示 OCaml 接口和类型如何让长期使用的代码更易理解和修改。