筛选结果
18 篇排序
1:05:45EN → 简体中文Cyrus Omar:实时编程与人与 AI 共享的计算公共空间Cyrus Omar通过 Hazel 演示,探讨即时反馈、结构化协作和精细权限如何帮助人类与 AI 智能体共同工作。
1:34:36EN → 简体中文Nate Foster:把网络当作程序Yaron Minsky, Nate Foster · Jane Street从可编程交换机到 BGP,一位编程语言研究者解释高层策略和形式模型如何让网络更易于修改。
46:35EN → 简体中文Jon Gjengset 谈并发协调的代价Jon Gjengset为什么共享缓存行会拖慢读密集型锁,以及另一种数据结构如何增加写入工作以换取可扩展的读取。
1:12:58EN → 简体中文Chris Lattner:Mojo 与可移植 GPU 性能的追求Yaron Minsky, Chris Lattner · Jane StreetRon Minsky 与 Chris Lattner 讨论 Modular 如何通过语言和编译器设计,努力让加速器编程兼顾可移植性与速度。
1:01:23EN → 简体中文Will Crichton:让 Rust 更容易理解Will Crichton · Brown University所有权可视化、交互式 trait 诊断和程序切片,展示了以证据为基础设计开发工具的方法。
1:27:41EN → 简体中文Ron Minsky 谈 Jane Street 的多核 OCaml 迁移历程Ron Minsky · Jane Street一次生产环境迁移暴露了垃圾回收器的性能回退,催生新的节奏控制设计,也展示了将研究变为可靠基础设施的困难。
1:19:40EN → 简体中文Ian Henry 谈交易员工具、函数式界面与创意编程Ron Minsky, Ian Henry · Jane Street从高信息密度的期权界面到三维创作工具,Ian Henry 和 Ron Minsky 探讨了让复杂工具易于使用的软件选择。
40:33EN → 简体中文Charlie Marsh 谈 uv:Python 依赖解析与性能Charlie Marsh · AstralAstral 创始人介绍通用锁文件、Python 打包约束,以及 uv 背后的数据结构和缓存设计。
55:34EN → 简体中文Andrew Hunter:低延迟系统的性能工程Ron Minsky, Andrew Hunter · Jane Street超大规模环境中的微小优化为何值得投入?交易延迟为何更难衡量?性能分析、追踪、语言设计和硬件又如何相互配合?
1:22:34EN → 简体中文Stephen Dolan 谈内存管理、垃圾回收与 OCamlRon Minsky, Stephen Dolan · Jane Street从追踪回收和引用计数,到预取、局部分配和无装箱类型,Dolan 解释安全、高效内存管理背后的取舍。
1:01:11EN → 简体中文Anil Madhavapeddy 谈 MirageOS 与操作系统的演进Ron Minsky, Anil Madhavapeddy · Jane Street从 Xen 和 unikernel 到 OCaml 多核研究,一位系统研究者解释不断变化的抽象如何重塑基础设施。
59:33EN → 简体中文Laurent Mazare 谈 Python、OCaml 与机器学习Ron Minsky, Laurent Mazare · Jane Street一位研究人员比较探索性笔记本与稳健的生产系统,并解释语言互操作和资源管理如何将两者联系起来。
1:10:27EN → 简体中文Greta Yorsh 谈编译器优化与反馈Ron Minsky, Greta Yorsh · Jane Street从形式化验证、超优化到配置文件引导的代码布局,一位编译器工程师解释性能工作如何与真实用户相结合。
59:26EN → 简体中文Andy Ray 谈 FPGA、硬件设计与 HardcamlYaron Minsky, Andy Ray · Jane StreetJane Street 硬件设计负责人介绍可编程电路如何提升性能,以及软件工具如何简化电路构建和测试。
47:18EN → 简体中文OCaml 的非装箱类型与内存布局Stephen · Jane StreetStephen 解释一项拟议的类型系统扩展:在保持 OCaml 快速分离编译的同时控制数据表示。
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 软件栈。
23:58EN → 简体中文有效使用 ML:错误、抽象与复杂度管理一位 Jane Street 工程师讨论显式处理失败、样板代码、类型系统的克制,以及副作用的实际作用。







