最近更新的频道

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

筛选结果

54 篇
排序
9 张幻灯片1:05:45EN → 简体中文
Jane Street· 2026年9月11日Cyrus Omar:实时编程与人与 AI 共享的计算公共空间Cyrus Omar通过 Hazel 演示,探讨即时反馈、结构化协作和精细权限如何帮助人类与 AI 智能体共同工作。Programming LanguagesHuman-AI Collaboration开发流程与测试+2
1:34:36EN → 简体中文
Jane Street· 2026年6月1日Nate Foster:把网络当作程序Yaron Minsky, Nate Foster · Jane Street从可编程交换机到 BGP,一位编程语言研究者解释高层策略和形式模型如何让网络更易于修改。基础设施与部署Programming LanguagesSoftware engineering+2
7 张幻灯片46:35EN → 简体中文
Jane Street· 2026年3月25日Jon Gjengset 谈并发协调的代价Jon Gjengset为什么共享缓存行会拖慢读密集型锁,以及另一种数据结构如何增加写入工作以换取可扩展的读取。Software engineeringProgramming Languages
7 张幻灯片1:00:15EN → 简体中文
Jane Street· 2025年12月17日Arjun Guha:语言模型如何表示代码,人们又如何向它们提问Arjun Guha · Northeastern University激活引导和学生提示词实验揭示了编程模型的行为,也说明评估模型需要超越单一基准分数。Programming LanguagesModel Interpretability编程智能体+2
9 张幻灯片52:05EN → 简体中文
Jane Street· 2025年10月24日Corwin de Zahr:通过 CTF 挑战探索 OCaml 运行时安全Corwin de Zahr · Jane Street借助一个刻意设限的 OCaml 沙箱,考察类型安全、回调、内存表示和二进制调试。Programming LanguagesCybersecuritySoftware engineering
1:12:58EN → 简体中文
Jane Street· 2025年9月4日Chris Lattner:Mojo 与可移植 GPU 性能的追求Yaron Minsky, Chris Lattner · Jane StreetRon Minsky 与 Chris Lattner 讨论 Modular 如何通过语言和编译器设计,努力让加速器编程兼顾可移植性与速度。Programming LanguagesGPU programming & kernelsSoftware engineering+1
11 张幻灯片1:01:23EN → 简体中文
Jane Street· 2025年8月27日Will Crichton:让 Rust 更容易理解Will Crichton · Brown University所有权可视化、交互式 trait 诊断和程序切片,展示了以证据为基础设计开发工具的方法。Programming LanguagesSoftware engineering开发流程与测试+1
4 张幻灯片1:27:41EN → 简体中文
Jane Street· 2025年7月24日Ron Minsky 谈 Jane Street 的多核 OCaml 迁移历程Yaron Minsky · Jane Street一次生产环境迁移暴露了垃圾回收器的性能回退,催生新的节奏控制设计,也展示了将研究变为可靠基础设施的困难。Programming LanguagesSoftware engineering可观测性与可靠性
1:19:40EN → 简体中文
Jane Street· 2025年5月28日Ian Henry 谈交易员工具、函数式界面与创意编程Yaron Minsky, Ian Henry · Jane Street从高信息密度的期权界面到三维创作工具,Ian Henry 和 Ron Minsky 探讨了让复杂工具易于使用的软件选择。Software engineeringProduct engineeringProgramming Languages+2
10 张幻灯片47:08EN → 简体中文
Jane Street· 2025年4月3日Chris Casinghino:让 OCaml 安全地支持性能工程Chris Casinghino · Jane StreetJane Street 的 OCaml 扩展通过布局和模式提供对内存与并行性的更多控制,同时保留安全性和熟悉的编程方式。Programming LanguagesSoftware engineering
4 张幻灯片1:03:21EN → 简体中文
Jane Street· 2024年12月9日Horace He:为万亿乘万亿次运算构建机器学习系统Horace He · MetaGPU 瓶颈、编译器设计和分布式并行如何塑造大规模模型训练背后的系统。GPU programming & kernelsDistributed training & inferenceMachine Learning+2
7 张幻灯片40:33EN → 简体中文
Jane Street· 2024年10月23日Charlie Marsh 谈 uv:Python 依赖解析与性能Charlie Marsh · AstralAstral 创始人介绍通用锁文件、Python 打包约束,以及 uv 背后的数据结构和缓存设计。Developer productivityProgramming LanguagesSoftware engineering
3 张幻灯片9:25EN → 简体中文
Jane Street· 2024年10月1日Richard Eisenberg:使用 OCaml 的类型强制转换运算符Richard Eisenberg · Jane Street通过多态变体、递归类型和私有类型别名,理解无需运行时转换的子类型关系。Programming LanguagesSoftware engineering
4 张幻灯片8:06EN → 简体中文
Jane Street· 2024年8月7日OCaml 提议中的 include functor 语法如何减少重复一个反向数组示例展示如何从最小实现派生常用模块函数,同时省去额外的包装模块。Programming LanguagesSoftware engineering
5 张幻灯片11:28EN → 简体中文
Jane Street· 2024年6月13日OCaml 局部类型:regional 参数与循环区域一段演示解释为什么某些局部参数能够跨越函数边界,以及循环区域如何回收分配的内存。Programming LanguagesSoftware engineering
4 张幻灯片9:14EN → 简体中文
Jane Street· 2024年5月29日OCaml 局部函数类型:偏应用为何可能导致值逃逸Richard Eisenberg · Jane StreetRichard Eisenberg 用列表拼接示例说明,在 Jane Street 的 OCaml 编译器分支中,局部参数如何改变偏应用函数的模式。Programming LanguagesSoftware engineering
7 张幻灯片15:59EN → 简体中文
Jane Street· 2024年5月7日OCaml 中的尾调用与局部区域一个列表计数示例展示了局部闭包为何可能在尾调用时逃逸,以及 regional 模式与 [@nontail] 如何影响结果。Programming LanguagesSoftware engineeringDeveloper productivity
3:30EN → 简体中文
Jane Street· 2024年3月13日Richard Eisenberg 谈 Jane Street 的 OCaml 探索Richard Eisenberg · Jane StreetJane Street 编译器团队正探索非装箱类型、局部性模式和无数据竞争并行,以改善 OCaml 的性能和内存管理,使其更符合公司的需求。Programming LanguagesSoftware engineering
3 张幻灯片11:07EN → 简体中文
Jane Street· 2024年2月29日OCaml 的 local 值如何使用独立的栈一个列表例子展示了限定在区域内的 local 值如何避免反复进行需要垃圾回收的内存分配。Programming LanguagesSoftware engineering
5 张幻灯片23:25EN → 简体中文
Jane Street· 2024年2月20日Richard Eisenberg:OCaml 局部值如何减少垃圾回收分配Richard Eisenberg · Jane Street一个带类型注解的列表处理示例说明,创建值和使用值的函数都需要保持局部性。Programming LanguagesSoftware engineering
3 张幻灯片22:27EN → 简体中文
Jane Street· 2024年2月7日OCaml 如何推断局部性了解 local 与 global 模式推断、模块签名、整数的模式跨越,以及函数类型之间的转换。Programming LanguagesSoftware engineering
5 张幻灯片15:17EN → 简体中文
Jane Street· 2024年1月31日OCaml 的局部值、模式与子模式关系通过实例理解局部和全局模式如何控制值的逃逸,以及模式如何与函数类型相互作用。Programming LanguagesSoftware engineering
7 张幻灯片12:52EN → 简体中文
Jane Street· 2024年1月23日OCaml 的局部变量、返回值与区域通过一个实例,了解 `local_` 和 `exclave_` 如何让函数接收局部值,并在调用方区域中返回局部结构。Programming LanguagesSoftware engineering
4 张幻灯片8:52EN → 简体中文
Jane Street· 2024年1月5日OCaml 局部参数入门通过示例了解 Jane Street 实验性的 local 模式如何限制值逃逸,并让函数接口更易于推理。Programming LanguagesSoftware engineering
加载更多已显示 24 篇,共 54 篇