筛选结果
39 篇排序
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:00:15EN → 简体中文Arjun Guha：语言模型如何表示代码，人们又如何向它们提问Arjun Guha · Northeastern University激活引导和学生提示词实验揭示了编程模型的行为，也说明评估模型需要超越单一基准分数。
52:05EN → 简体中文Corwin de Zahr：通过 CTF 挑战探索 OCaml 运行时安全Corwin de Zahr · Jane Street借助一个刻意设限的 OCaml 沙箱，考察类型安全、回调、内存表示和二进制调试。
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 探讨了让复杂工具易于使用的软件选择。
47:08EN → 简体中文Chris Casinghino：让 OCaml 安全地支持性能工程Chris Casinghino · Jane StreetJane Street 的 OCaml 扩展通过布局和模式提供对内存与并行性的更多控制，同时保留安全性和熟悉的编程方式。
1:03:21EN → 简体中文Horace He：为万亿乘万亿次运算构建机器学习系统Horace He · MetaGPU 瓶颈、编译器设计和分布式并行如何塑造大规模模型训练背后的系统。
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 硬件设计负责人介绍可编程电路如何提升性能，以及软件工具如何简化电路构建和测试。
1:05:06EN → 简体中文Raph Levien：GPU 计算、函数式设计与二维渲染器Raph Levien通过了解 GPU 执行和内存机制，可以理解并行渲染为什么不能只给每个像素分配一个线程。
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:08:44EN → 简体中文Nathan Linger：Ontology，一套面向语言的权限系统Nathan Linger · Jane StreetJane Street 如何将权限表示为类型化声明，并通过英语界面提供给用户。
1:18:13EN → 简体中文Lindsey Kuper：为正确高效的并行计算设计抽象Lindsey Kuper · University of California, Santa Cruz从基于格的共享状态，到非侵入式并行语言和神经网络验证，高层抽象可以让系统既更安全又更高效。
加载更多已显示 24 篇，共 39 篇