筛选结果
29 篇排序
52:05EN → 简体中文Corwin de Zahr：通过 CTF 挑战探索 OCaml 运行时安全Corwin de Zahr · Jane Street借助一个刻意设限的 OCaml 沙箱，考察类型安全、回调、内存表示和二进制调试。
47:08EN → 简体中文Chris Casinghino：让 OCaml 安全地支持性能工程Chris Casinghino · Jane StreetJane Street 的 OCaml 扩展通过布局和模式提供对内存与并行性的更多控制，同时保留安全性和熟悉的编程方式。
1:03:21EN → 简体中文Horace He：为万亿乘万亿次运算构建机器学习系统Horace He · MetaGPU 瓶颈、编译器设计和分布式并行如何塑造大规模模型训练背后的系统。
9:25EN → 简体中文Richard Eisenberg：使用 OCaml 的类型强制转换运算符Richard Eisenberg · Jane Street通过多态变体、递归类型和私有类型别名，理解无需运行时转换的子类型关系。
8:06EN → 简体中文OCaml 提议中的 include functor 语法如何减少重复一个反向数组示例展示如何从最小实现派生常用模块函数，同时省去额外的包装模块。
11:28EN → 简体中文OCaml 局部类型：regional 参数与循环区域一段演示解释为什么某些局部参数能够跨越函数边界，以及循环区域如何回收分配的内存。
9:14EN → 简体中文OCaml 局部函数类型：偏应用为何可能导致值逃逸Richard Eisenberg · Jane StreetRichard Eisenberg 用列表拼接示例说明，在 Jane Street 的 OCaml 编译器分支中，局部参数如何改变偏应用函数的模式。
15:59EN → 简体中文OCaml 中的尾调用与局部区域一个列表计数示例展示了局部闭包为何可能在尾调用时逃逸，以及 regional 模式与 [@nontail] 如何影响结果。
3:30EN → 简体中文Richard Eisenberg 谈 Jane Street 的 OCaml 探索Richard Eisenberg · Jane StreetJane Street 编译器团队正探索非装箱类型、局部性模式和无数据竞争并行，以改善 OCaml 的性能和内存管理，使其更符合公司的需求。
11:07EN → 简体中文OCaml 的 local 值如何使用独立的栈一个列表例子展示了限定在区域内的 local 值如何避免反复进行需要垃圾回收的内存分配。
23:25EN → 简体中文Richard Eisenberg：OCaml 局部值如何减少垃圾回收分配Richard Eisenberg · Jane Street一个带类型注解的列表处理示例说明，创建值和使用值的函数都需要保持局部性。
22:27EN → 简体中文OCaml 如何推断局部性了解 local 与 global 模式推断、模块签名、整数的模式跨越，以及函数类型之间的转换。
15:17EN → 简体中文OCaml 的局部值、模式与子模式关系通过实例理解局部和全局模式如何控制值的逃逸，以及模式如何与函数类型相互作用。
12:52EN → 简体中文OCaml 的局部变量、返回值与区域通过一个实例，了解 `local_` 和 `exclave_` 如何让函数接收局部值，并在调用方区域中返回局部结构。
8:52EN → 简体中文OCaml 局部参数入门通过示例了解 Jane Street 实验性的 local 模式如何限制值逃逸，并让函数接口更易于推理。
1:05:59EN → 简体中文Derek Dreyer：用 RustBelt 和 Iris 证明 Rust 的安全性Derek Dreyer · Max Planck Institute for Software SystemsRust 将安全接口与内部使用 unsafe 代码的库结合起来。Derek Dreyer 解释 RustBelt 如何验证这些库，以及为什么证明需要表达力强的并发逻辑。
1:08:44EN → 简体中文Nathan Linger：Ontology，一套面向语言的权限系统Nathan Linger · Jane StreetJane Street 如何将权限表示为类型化声明，并通过英语界面提供给用户。
1:18:13EN → 简体中文Lindsey Kuper：为正确高效的并行计算设计抽象Lindsey Kuper · University of California, Santa Cruz从基于格的共享状态，到非侵入式并行语言和神经网络验证，高层抽象可以让系统既更安全又更高效。
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 项目将课程设计视为工程问题：先确定目标和约束，再支持教师并衡量学习成果。
52:51EN → 简体中文Caveat Configurator：当配置变成代码Dominick LoBraico · Jane StreetDominick LoBraico 解释灵活的 OCaml 插件为何给 Jane Street 的生产环境带来问题，以及配置生成和规范的插件管理如何应对这些问题。
25:44EN → 简体中文函数式编程为何对 Jane Street 重要一位 Jane Street 开发者重新审视 John Hughes 的经典论点，并解释为什么表达能力强的静态类型对交易系统最重要。
28:31EN → 简体中文Incremental：OCaml 中的自调整计算Sebastian Funk · Jane StreetSebastian 介绍 Jane Street 的动态依赖图库，以及高效更新背后的算法。
加载更多已显示 24 篇，共 29 篇