最近更新的频道

点选即可只看该频道浏览全部频道 →

筛选结果

44 篇
排序
7 张幻灯片1:20:57EN → 简体中文
JSJane Street· 2025年12月23日Matt Godbolt:深入 Skylake 的乱序流水线Matt Godbolt以逆向工程和细致测量为基础,导览指令解码、寄存器重命名、执行与内存顺序。SemiconductorsSoftware engineeringBenchmarks
9 张幻灯片52:05EN → 简体中文
JSJane Street· 2025年10月24日Corwin de Zahr:通过 CTF 挑战探索 OCaml 运行时安全Corwin de Zahr · Jane Street借助一个刻意设限的 OCaml 沙箱,考察类型安全、回调、内存表示和二进制调试。Programming LanguagesCybersecuritySoftware engineering
10 张幻灯片47:08EN → 简体中文
JSJane Street· 2025年4月3日Chris Casinghino:让 OCaml 安全地支持性能工程Chris Casinghino · Jane StreetJane Street 的 OCaml 扩展通过布局和模式提供对内存与并行性的更多控制,同时保留安全性和熟悉的编程方式。Programming LanguagesSoftware engineering
5 张幻灯片12:43EN → 简体中文
JSJane Street· 2024年12月20日OCaml 如何在内存中表示值借助 OCaml 的 Obj 模块,实际了解立即整数、堆块、运行时标签和变体构造器。Software engineering
8 张幻灯片27:16EN → 简体中文
JSJane Street· 2024年11月15日Tudor Brindus:如何发现并减少系统抖动Tudor Brindus · Jane Street一个内存乒乓基准测试揭示了虚拟化、中断、CPU 频率变化和推测执行如何干扰低延迟系统。Software engineering可观测性与可靠性基础设施与部署
3 张幻灯片9:25EN → 简体中文
JSJane Street· 2024年10月1日Richard Eisenberg:使用 OCaml 的类型强制转换运算符Richard Eisenberg · Jane Street通过多态变体、递归类型和私有类型别名,理解无需运行时转换的子类型关系。Programming LanguagesSoftware engineering
4 张幻灯片8:06EN → 简体中文
JSJane Street· 2024年8月7日OCaml 提议中的 include functor 语法如何减少重复一个反向数组示例展示如何从最小实现派生常用模块函数,同时省去额外的包装模块。Programming LanguagesSoftware engineering
5 张幻灯片14:36EN → 简体中文
JSJane Street· 2024年6月24日使用 OCaml 的 local 模式编程通过一个例子了解局部列表如何包含全局值、为何仅靠不逃逸标注不能保证栈分配,以及这项实验性功能有哪些不便之处。Software engineering
5 张幻灯片11:28EN → 简体中文
JSJane Street· 2024年6月13日OCaml 局部类型:regional 参数与循环区域一段演示解释为什么某些局部参数能够跨越函数边界,以及循环区域如何回收分配的内存。Programming LanguagesSoftware engineering
4 张幻灯片9:14EN → 简体中文
JSJane Street· 2024年5月29日OCaml 局部函数类型:偏应用为何可能导致值逃逸Richard Eisenberg · Jane StreetRichard Eisenberg 用列表拼接示例说明,在 Jane Street 的 OCaml 编译器分支中,局部参数如何改变偏应用函数的模式。Programming LanguagesSoftware engineering
7 张幻灯片15:59EN → 简体中文
JSJane Street· 2024年5月7日OCaml 中的尾调用与局部区域一个列表计数示例展示了局部闭包为何可能在尾调用时逃逸,以及 regional 模式与 [@nontail] 如何影响结果。Programming LanguagesSoftware engineeringDeveloper productivity
3:30EN → 简体中文
JSJane Street· 2024年3月13日Richard Eisenberg 谈 Jane Street 的 OCaml 探索Richard Eisenberg · Jane StreetJane Street 编译器团队正探索非装箱类型、局部性模式和无数据竞争并行,以改善 OCaml 的性能和内存管理,使其更符合公司的需求。Programming LanguagesSoftware engineering
3 张幻灯片11:07EN → 简体中文
JSJane Street· 2024年2月29日OCaml 的 local 值如何使用独立的栈一个列表例子展示了限定在区域内的 local 值如何避免反复进行需要垃圾回收的内存分配。Programming LanguagesSoftware engineering
5 张幻灯片23:25EN → 简体中文
JSJane Street· 2024年2月20日Richard Eisenberg:OCaml 局部值如何减少垃圾回收分配Richard Eisenberg · Jane Street一个带类型注解的列表处理示例说明,创建值和使用值的函数都需要保持局部性。Programming LanguagesSoftware engineering
3 张幻灯片22:27EN → 简体中文
JSJane Street· 2024年2月7日OCaml 如何推断局部性了解 local 与 global 模式推断、模块签名、整数的模式跨越,以及函数类型之间的转换。Programming LanguagesSoftware engineering
5 张幻灯片15:17EN → 简体中文
JSJane Street· 2024年1月31日OCaml 的局部值、模式与子模式关系通过实例理解局部和全局模式如何控制值的逃逸,以及模式如何与函数类型相互作用。Programming LanguagesSoftware engineering
7 张幻灯片12:52EN → 简体中文
JSJane Street· 2024年1月23日OCaml 的局部变量、返回值与区域通过一个实例,了解 `local_` 和 `exclave_` 如何让函数接收局部值,并在调用方区域中返回局部结构。Programming LanguagesSoftware engineering
4 张幻灯片8:52EN → 简体中文
JSJane Street· 2024年1月5日OCaml 局部参数入门通过示例了解 Jane Street 实验性的 local 模式如何限制值逃逸,并让函数接口更易于推理。Programming LanguagesSoftware engineering
2:21EN → 简体中文
JSJane Street· 2023年6月30日Varun 谈 Jane Street 的软件工程工作Varun · Jane Street一位伦敦开发者介绍有用的技术基础、OCaml 培训和 Jane Street 的团队匹配流程。Software engineeringCareersCompany Culture
5:49EN → 简体中文
JSJane Street· 2023年5月23日Ian 谈 Jane Street 的软件工程工作Ian · Jane Street一位伦敦交易台开发者介绍代码审查、OCaml 培训、实习项目,以及与用户坐在一起带来的反馈。Software engineeringCode review & verificationDeveloper productivity+1
3:48EN → 简体中文
JSJane Street· 2023年5月10日Val 谈 Jane Street 的软件工程与协作Val · Jane Street一位伦敦开发者介绍同事如何帮助新人学习、审查生产代码,以及跨团队协作。Software engineeringCompany CultureCareers+1
3:30EN → 简体中文
JSJane Street· 2023年3月15日Brittany 谈 Jane Street 的软件工程与实习Brittany · Jane Street一位股票交易部门的工程师介绍实习生如何学习金融和 OCaml、参与有意义的项目,并与交易员合作。Software engineeringCareersOnboarding+1
3:09EN → 简体中文
JSJane Street· 2023年3月15日Minjie 谈 Jane Street 的网络安全工程Minjie · Jane Street一位香港软件工程师讲述学习 OCaml、开发内部权限系统,以及跨团队处理安全告警的经历。CybersecuritySoftware engineeringCompany Culture
4 张幻灯片58:03EN → 简体中文
JSJane Street· 2020年2月18日Matt Might 谈精准医疗的算法Matt Might · University of Alabama at Birmingham一位计算机科学家介绍基因数据、实验模型和逻辑编程如何帮助临床医生研究疑难病例。Computational BiologyAI in healthcareSoftware engineering
加载更多已显示 24 篇,共 44 篇