最近更新的频道

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

筛选结果

18 篇
排序
9 张幻灯片1:05:45EN → 简体中文
JSJane Street· 2026年9月11日Cyrus Omar:实时编程与人与 AI 共享的计算公共空间Cyrus Omar通过 Hazel 演示,探讨即时反馈、结构化协作和精细权限如何帮助人类与 AI 智能体共同工作。Programming LanguagesHuman-AI Collaboration开发流程与测试+2
1:34:36EN → 简体中文
JSJane Street· 2026年6月1日Nate Foster:把网络当作程序Yaron Minsky, Nate Foster · Jane Street从可编程交换机到 BGP,一位编程语言研究者解释高层策略和形式模型如何让网络更易于修改。基础设施与部署Programming LanguagesSoftware engineering+2
7 张幻灯片46:35EN → 简体中文
JSJane Street· 2026年3月25日Jon Gjengset 谈并发协调的代价Jon Gjengset为什么共享缓存行会拖慢读密集型锁,以及另一种数据结构如何增加写入工作以换取可扩展的读取。Software engineeringProgramming Languages
1:12:58EN → 简体中文
JSJane 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 → 简体中文
JSJane Street· 2025年8月27日Will Crichton:让 Rust 更容易理解Will Crichton · Brown University所有权可视化、交互式 trait 诊断和程序切片,展示了以证据为基础设计开发工具的方法。Programming LanguagesSoftware engineering开发流程与测试+1
4 张幻灯片1:27:41EN → 简体中文
JSJane Street· 2025年7月24日Ron Minsky 谈 Jane Street 的多核 OCaml 迁移历程Ron Minsky · Jane Street一次生产环境迁移暴露了垃圾回收器的性能回退,催生新的节奏控制设计,也展示了将研究变为可靠基础设施的困难。Programming LanguagesSoftware engineering可观测性与可靠性
1:19:40EN → 简体中文
JSJane Street· 2025年5月28日Ian Henry 谈交易员工具、函数式界面与创意编程Ron Minsky, Ian Henry · Jane Street从高信息密度的期权界面到三维创作工具,Ian Henry 和 Ron Minsky 探讨了让复杂工具易于使用的软件选择。Software engineeringProduct engineeringProgramming Languages+2
7 张幻灯片40:33EN → 简体中文
JSJane Street· 2024年10月23日Charlie Marsh 谈 uv:Python 依赖解析与性能Charlie Marsh · AstralAstral 创始人介绍通用锁文件、Python 打包约束,以及 uv 背后的数据结构和缓存设计。Developer productivityProgramming LanguagesSoftware engineering
55:34EN → 简体中文
JSJane Street· 2023年11月29日Andrew Hunter:低延迟系统的性能工程Ron Minsky, Andrew Hunter · Jane Street超大规模环境中的微小优化为何值得投入?交易延迟为何更难衡量?性能分析、追踪、语言设计和硬件又如何相互配合?Software engineering可观测性与可靠性Programming Languages+2
1:22:34EN → 简体中文
JSJane Street· 2022年1月5日Stephen Dolan 谈内存管理、垃圾回收与 OCamlRon Minsky, Stephen Dolan · Jane Street从追踪回收和引用计数,到预取、局部分配和无装箱类型,Dolan 解释安全、高效内存管理背后的取舍。Programming LanguagesSoftware engineering
1:01:11EN → 简体中文
JSJane Street· 2021年11月3日Anil Madhavapeddy 谈 MirageOS 与操作系统的演进Ron Minsky, Anil Madhavapeddy · Jane Street从 Xen 和 unikernel 到 OCaml 多核研究,一位系统研究者解释不断变化的抽象如何重塑基础设施。Software engineeringProgramming LanguagesOpen-source ecosystems
59:33EN → 简体中文
JSJane Street· 2020年10月7日Laurent Mazare 谈 Python、OCaml 与机器学习Ron Minsky, Laurent Mazare · Jane Street一位研究人员比较探索性笔记本与稳健的生产系统,并解释语言互操作和资源管理如何将两者联系起来。Programming LanguagesMachine LearningSoftware engineering+1
1:10:27EN → 简体中文
JSJane Street· 2020年9月30日Greta Yorsh 谈编译器优化与反馈Ron Minsky, Greta Yorsh · Jane Street从形式化验证、超优化到配置文件引导的代码布局,一位编译器工程师解释性能工作如何与真实用户相结合。Programming LanguagesSoftware engineering开发流程与测试
59:26EN → 简体中文
JSJane Street· 2020年9月17日Andy Ray 谈 FPGA、硬件设计与 HardcamlYaron Minsky, Andy Ray · Jane StreetJane Street 硬件设计负责人介绍可编程电路如何提升性能,以及软件工具如何简化电路构建和测试。SemiconductorsProgramming LanguagesSoftware engineering+1
6 张幻灯片47:18EN → 简体中文
JSJane Street· 2019年10月24日OCaml 的非装箱类型与内存布局Stephen · Jane StreetStephen 解释一项拟议的类型系统扩展:在保持 OCaml 快速分离编译的同时控制数据表示。Programming LanguagesSoftware engineeringSemiconductors
9 张幻灯片1:14:23EN → 简体中文
JSJane Street· 2018年8月24日Cristina Rosu:用 Incr_dom 和 OCaml 构建动态 Web 应用Cristina Rosu · Jane Street从实用角度介绍 Elm 架构、虚拟 DOM 和增量计算,并现场演示计数器应用。Programming LanguagesSoftware engineeringDeveloper productivity+1
11 张幻灯片1:02:34EN → 简体中文
JSJane Street· 2018年5月10日Andy Ray:用 OCaml 设计 FPGA 并在其上运行软件Andy Ray · Jane StreetHardCaml 将 OCaml 变成硬件设计语言。Andy Ray 讲解 FPGA 基础、仿真和验证,并演示在软 CPU 上运行的 OCaml 软件栈。SemiconductorsProgramming LanguagesSoftware engineering+1
23:58EN → 简体中文
JSJane Street· 2016年3月31日有效使用 ML:错误、抽象与复杂度管理一位 Jane Street 工程师讨论显式处理失败、样板代码、类型系统的克制,以及副作用的实际作用。Programming LanguagesSoftware engineeringCode review & verification