筛选结果
23 篇排序
1:20:57EN → 简体中文
Jane Street· 2025年12月23日Matt Godbolt：深入 Skylake 的乱序流水线Matt Godbolt以逆向工程和细致测量为基础，导览指令解码、寄存器重命名、执行与内存顺序。
52:05EN → 简体中文Jane Street· 2025年10月24日Corwin de Zahr：通过 CTF 挑战探索 OCaml 运行时安全Corwin de Zahr · Jane Street借助一个刻意设限的 OCaml 沙箱，考察类型安全、回调、内存表示和二进制调试。
47:08EN → 简体中文Jane Street· 2025年4月3日Chris Casinghino：让 OCaml 安全地支持性能工程Chris Casinghino · Jane StreetJane Street 的 OCaml 扩展通过布局和模式提供对内存与并行性的更多控制，同时保留安全性和熟悉的编程方式。
1:03:21EN → 简体中文Jane Street· 2024年12月9日Horace He：为万亿乘万亿次运算构建机器学习系统Horace He · MetaGPU 瓶颈、编译器设计和分布式并行如何塑造大规模模型训练背后的系统。
58:03EN → 简体中文Jane Street· 2020年2月18日Matt Might 谈精准医疗的算法Matt Might · University of Alabama at Birmingham一位计算机科学家介绍基因数据、实验模型和逻辑编程如何帮助临床医生研究疑难病例。
1:23:49EN → 简体中文Jane Street· 2020年1月31日Steve Lee 谈 PowerShell 7：兼容性、新功能与路线图Steve Lee · Microsoft回顾从 Windows PowerShell 转向跨平台 PowerShell 的过程，包括版本 7 预览版演示及其兼容性取舍。
49:48EN → 简体中文Jane Street· 2019年12月9日Michael Sikorski：逆向分析勒索软件Michael Sikorski · FireEye恶意软件分析师讲解调查勒索软件时使用的工具与判断，从文件加密谈到 WannaCry 和 NotPetya 的爆发。
1:05:59EN → 简体中文Jane Street· 2019年9月27日Derek Dreyer：用 RustBelt 和 Iris 证明 Rust 的安全性Derek Dreyer · Max Planck Institute for Software SystemsRust 将安全接口与内部使用 unsafe 代码的库结合起来。Derek Dreyer 解释 RustBelt 如何验证这些库，以及为什么证明需要表达力强的并发逻辑。
57:57EN → 简体中文Jane Street· 2019年5月8日Sebastian Funk：打造快速、安全且易维护的数据包处理器Sebastian Funk · Jane Street一个单核运行情数据的案例展示了延迟目标、分配控制和代码生成如何与高层抽象共存。
1:08:44EN → 简体中文Jane Street· 2019年3月8日Nathan Linger：Ontology，一套面向语言的权限系统Nathan Linger · Jane StreetJane Street 如何将权限表示为类型化声明，并通过英语界面提供给用户。
1:18:13EN → 简体中文Jane Street· 2019年2月11日Lindsey Kuper：为正确高效的并行计算设计抽象Lindsey Kuper · University of California, Santa Cruz从基于格的共享状态，到非侵入式并行语言和神经网络验证，高层抽象可以让系统既更安全又更高效。
1:14:37EN → 简体中文Jane Street· 2018年4月5日为 OCaml 添加效应系统Leo White · Jane Street一个原型将代数效应引入 OCaml 类型系统，并探索如何追踪异常、I/O 和局部可变状态。
1:08:43EN → 简体中文Jane Street· 2018年3月19日Ron Minsky：类型及其对软件的重要性Yaron Minsky · Jane Street类型系统可以提升程序性能、发现错误并指导大型重构，但其价值取决于语言和工作内容。Ron Minsky 通过实际例子解释其中的取舍。
1:10:18EN → 简体中文Jane Street· 2018年2月28日Shriram Krishnamurthi：为真实课堂设计计算课程Shriram Krishnamurthi · Brown UniversityBootstrap 项目将课程设计视为工程问题：先确定目标和约束，再支持教师并衡量学习成果。
1:06:49EN → 简体中文Jane Street· 2018年1月30日Bryan Cantrill：寻找性能飓风背后的蝴蝶Bryan Cantrill · Joyent微小缺陷可能穿过层层抽象，引发大规模性能故障。Bryan Cantrill 讲解如何通过提问、埋点和可视化展开调查。
56:12EN → 简体中文Jane Street· 2018年1月16日傅里叶的回声：从声波到快速卷积Christopher Hardin通过实际例子了解傅里叶变换、卷积，以及如何用数学方法让录音呈现真实或想象空间的声学效果。
56:06EN → 简体中文Jane Street· 2017年12月4日Jane Street 如何用 Iron 审查代码Ian Henry · Jane StreetJane Street 的内部审查工具记录每位审查者实际读过的内容，将反馈保存在代码中，并在发布前执行审查要求。
52:51EN → 简体中文Jane Street· 2017年6月20日Caveat Configurator：当配置变成代码Dominick LoBraico · Jane StreetDominick LoBraico 解释灵活的 OCaml 插件为何给 Jane Street 的生产环境带来问题，以及配置生成和规范的插件管理如何应对这些问题。
1:09:24EN → 简体中文Jane Street· 2016年4月5日Yaron Minsky 谈高效 ML：为代码读者编写 OCamlYaron Minsky · Jane StreetJane Street 分享类型、接口和抽象的实用经验，帮助大型 OCaml 代码库保持易理解和正确。
1:06:39EN → 简体中文Jane Street· 2016年3月31日Jane Street 为什么使用 OCamlYaron Minsky · Jane StreetJane Street 的一场演讲解释了函数式编程和静态类型如何帮助构建可靠的交易软件，也探讨了选择较冷门语言的代价。
1:04:56EN → 简体中文Jane Street· 2016年3月31日Yaron Minsky：Incremental 如何从研究概念走向生产库Yaron Minsky · Jane Street回顾 Jane Street 的 OCaml 自调整计算库背后的算法、内存问题和性能权衡。
1:12:41EN → 简体中文Jane Street· 2016年3月31日Ron Minsky：交易、正确性与 Jane Street 转向 OCamlYaron Minsky · Jane StreetJane Street 的技术人员介绍做市业务，以及可读性、类型和可预测的性能如何影响公司选择 OCaml。
51:35EN → 简体中文Jane Street· 2016年3月31日Yaron Minsky 谈高效 ML：接口、不变量与代码读者Yaron Minsky · Jane Street在 2011 年 Harvard 讲座的第一部分，Jane Street 的 Yaron Minsky 展示 OCaml 接口和类型如何让长期使用的代码更易理解和修改。