筛选结果
11 篇排序
27:39EN → 简体中文3Blue1Brown 与 Jane Street 谈交易、机器学习和文化Grant Sanderson, Nitya, In Young, Craig, Alok · 3Blue1BrownGrant Sanderson 与 Jane Street 的同事讨论做市、共享算力、研究，以及他们加入公司的不同经历。
47:43EN → 简体中文加速 GPU 训练：流水线、融合与自定义内核Corwin · Jane Street两位 Jane Street 讲者介绍如何诊断 GPU 空闲、减少内存传输，并构建并行归约内核。
55:03EN → 简体中文Neil Mitchell：Pyrefly 如何大规模检查 Python 代码Neil Mitchell, Roman · Meta从 Python 类型系统到快速开源类型检查器和语言服务器背后的增量架构。
4:11EN → 简体中文走进 Jane Street 的生产工程Mark, Liora, Joseph · Jane Street三位工程师介绍如何兼顾解决线上问题与开发软件，让支持工作更加高效。
1:02:52EN → 简体中文走进 Jane Street 软件工程实习项目Ron Minsky, Jeanne Van Briesen, Matt Else, Grace Zhang · Jane Street三位前实习生讲述真实项目、导师指导与职业选择，回顾自己如何转为全职工程师。
1:05:06EN → 简体中文Raph Levien：GPU 计算、函数式设计与二维渲染器Raph Levien通过了解 GPU 执行和内存机制，可以理解并行渲染为什么不能只给每个像素分配一个线程。
1:33:13EN → 简体中文Don Jones 谈 PowerShell、职业成长与第一位追随者Don Jones · PluralsightPowerShell 教育者 Don Jones 回顾如何编写可组合的小工具、打造有韧性的职业生涯，以及帮助他人融入社区。
1:03:45EN → 简体中文Jane Street 与 OCaml 编译器Ron Minsky · Jane StreetRon Minsky 讲述一次偶然采用编程语言的经历，如何发展为对编译器工程和共享开源生态的长期投入。
1:06:51EN → 简体中文Marius Eriksen：用 Reflow 进行云端增量数据处理Marius Eriksen · GRAIL函数式语言和运行时将数据工作流转化为有类型的程序，复用已有结果并按需配置云资源。
1:13:25EN → 简体中文Nate Foster：验证可编程网络数据平面Nate Foster, Ron · Cornell Universityp4v 如何将程序验证用于数据包处理代码，以及其结论为何取决于控制平面假设。
59:14EN → 简体中文Arjun Guha：验证系统配置Arjun Guha · UMass AmherstPuppet 清单虽然是声明式的，仍可能具有非确定性或不具备幂等性。验证工具通过建模资源之间的相互作用来发现这些问题。