筛选结果
11 篇排序
1:00:15EN → 简体中文
Jane Street· 2025年12月17日Arjun Guha：语言模型如何表示代码，人们又如何向它们提问Arjun Guha · Northeastern University激活引导和学生提示词实验揭示了编程模型的行为，也说明评估模型需要超越单一基准分数。
47:43EN → 简体中文Jane Street· 2025年11月11日加速 GPU 训练：流水线、融合与自定义内核Corwin de Zahr, Sylvain Gugger · Jane Street两位 Jane Street 讲者介绍如何诊断 GPU 空闲、减少内存传输，并构建并行归约内核。
55:03EN → 简体中文Jane Street· 2025年10月29日Neil Mitchell：Pyrefly 如何大规模检查 Python 代码Neil Mitchell, Roman · Meta从 Python 类型系统到快速开源类型检查器和语言服务器背后的增量架构。
1:02:52EN → 简体中文Jane Street· 2020年11月6日走进 Jane Street 软件工程实习项目Yaron Minsky, Jeanne Van Briesen, Matt Else, Grace Zhang · Jane Street三位前实习生讲述真实项目、导师指导与职业选择，回顾自己如何转为全职工程师。
1:05:06EN → 简体中文Jane Street· 2020年4月15日Raph Levien：GPU 计算、函数式设计与二维渲染器Raph Levien通过了解 GPU 执行和内存机制，可以理解并行渲染为什么不能只给每个像素分配一个线程。
1:33:13EN → 简体中文Jane Street· 2019年6月27日Don Jones 谈 PowerShell、职业成长与第一位追随者Don Jones · PluralsightPowerShell 教育者 Don Jones 回顾如何编写可组合的小工具、打造有韧性的职业生涯，以及帮助他人融入社区。
1:03:45EN → 简体中文Jane Street· 2018年12月7日Jane Street 与 OCaml 编译器Yaron Minsky · Jane StreetRon Minsky 讲述一次偶然采用编程语言的经历，如何发展为对编译器工程和共享开源生态的长期投入。
1:06:51EN → 简体中文Jane Street· 2018年10月24日Marius Eriksen：用 Reflow 进行云端增量数据处理Marius Eriksen · GRAIL函数式语言和运行时将数据工作流转化为有类型的程序，复用已有结果并按需配置云资源。
1:13:25EN → 简体中文Jane Street· 2017年11月27日Nate Foster：验证可编程网络数据平面Nate Foster, Yaron Minsky · Cornell Universityp4v 如何将程序验证用于数据包处理代码，以及其结论为何取决于控制平面假设。
1:38:23EN → 简体中文Jane Street· 2017年7月18日Yudkowsky 与 Hanson 辩论：智能爆炸会集中于一处吗？Eliezer Yudkowsky, Robin Hanson一场关于自我改进的 AI、知识积累、创新，以及先行者能否取得决定性领先的历史辩论。
59:14EN → 简体中文Jane Street· 2017年3月15日Arjun Guha：验证系统配置Arjun Guha · UMass AmherstPuppet 清单虽然是声明式的，仍可能具有非确定性或不具备幂等性。验证工具通过建模资源之间的相互作用来发现这些问题。