筛选结果
153 篇排序
9:25EN → 简体中文Richard Eisenberg：使用 OCaml 的类型强制转换运算符Richard Eisenberg · Jane Street通过多态变体、递归类型和私有类型别名，理解无需运行时转换的子类型关系。
8:06EN → 简体中文OCaml 提议中的 include functor 语法如何减少重复一个反向数组示例展示如何从最小实现派生常用模块函数，同时省去额外的包装模块。
1:07:34EN → 简体中文
Sequoia Capital· 2024年8月6日播客GitHub 起初不信，Copilot 已写下 25% 的代码GitHub 首席执行官 Thomas Dohmke 向红杉资本讲述：一个计划外的 GPT-3 实验如何变成 Copilot，GitHub 为何至今仍不自己训练基础模型（foundation model），以及他希望到 2030 年让十亿人写软件。
1:03:36EN → 简体中文Erin Murphy：为专业用户设计工具Yaron Minsky, Erin Murphy · Jane Street从 NASA 科学家到 Jane Street 工程师，一位用户体验设计师讲述如何通过观察、绘图与协作了解复杂工具的需求。
14:36EN → 简体中文使用 OCaml 的 local 模式编程通过一个例子了解局部列表如何包含全局值、为何仅靠不逃逸标注不能保证栈分配，以及这项实验性功能有哪些不便之处。
11:28EN → 简体中文OCaml 局部类型：regional 参数与循环区域一段演示解释为什么某些局部参数能够跨越函数边界，以及循环区域如何回收分配的内存。
9:14EN → 简体中文OCaml 局部函数类型：偏应用为何可能导致值逃逸Richard Eisenberg · Jane StreetRichard Eisenberg 用列表拼接示例说明，在 Jane Street 的 OCaml 编译器分支中，局部参数如何改变偏应用函数的模式。
15:59EN → 简体中文OCaml 中的尾调用与局部区域一个列表计数示例展示了局部闭包为何可能在尾调用时逃逸，以及 regional 模式与 [@nontail] 如何影响结果。
13:59EN → 简体中文SWE-agent 教程：浏览代码仓库并尝试修复 GitHub 问题Matthew Berman, Carlos · Forward FutureMatthew Berman 配置研究型编程智能体，遇到安装问题和成本上限，随后展示一位作者成功处理 SymPy 基准示例的过程。
14:23EN → 简体中文实测 DBRX：编程能力亮眼，推理仍有短板Matthew Berman · Forward FutureMatthew Berman 介绍 Databricks 的开放权重模型，并用编程、算术和推理题进行测试。
3:30EN → 简体中文Richard Eisenberg 谈 Jane Street 的 OCaml 探索Richard Eisenberg · Jane StreetJane Street 编译器团队正探索非装箱类型、局部性模式和无数据竞争并行，以改善 OCaml 的性能和内存管理，使其更符合公司的需求。
11:07EN → 简体中文OCaml 的 local 值如何使用独立的栈一个列表例子展示了限定在区域内的 local 值如何避免反复进行需要垃圾回收的内存分配。
55:29EN → 简体中文构建 CrewAI 简报团队：抓取、摘要与调试Matthew Berman, Joe · Forward FutureMatthew Berman 构建一个双智能体简报原型，逐步处理输入和抓取错误，并展示仍待解决的问题。
23:25EN → 简体中文Richard Eisenberg：OCaml 局部值如何减少垃圾回收分配Richard Eisenberg · Jane Street一个带类型注解的列表处理示例说明，创建值和使用值的函数都需要保持局部性。
22:27EN → 简体中文OCaml 如何推断局部性了解 local 与 global 模式推断、模块签名、整数的模式跨越，以及函数类型之间的转换。
15:17EN → 简体中文OCaml 的局部值、模式与子模式关系通过实例理解局部和全局模式如何控制值的逃逸，以及模式如何与函数类型相互作用。
12:52EN → 简体中文OCaml 的局部变量、返回值与区域通过一个实例，了解 `local_` 和 `exclave_` 如何让函数接收局部值，并在调用方区域中返回局部结构。
46:36EN → 简体中文
No Priors: AI, Machine Learning, Tech, & Startups· 2024年1月18日播客 · 2 人对谈做了十年代码搜索后，Sourcegraph 的 CTO 认为代码 AI 的竞争发生在模型之外主持 Sarah Guo, Elad GilBeyang Liu 讲 Cody，讲关键词搜索为何仍然承担着检索增强生成（RAG）的大部分工作，以及随着 AI 压缩中间件，计算机基础知识为何变得更有价值。
8:52EN → 简体中文OCaml 局部参数入门通过示例了解 Jane Street 实验性的 local 模式如何限制值逃逸，并让函数接口更易于推理。
55:34EN → 简体中文Andrew Hunter：低延迟系统的性能工程Yaron Minsky, Andrew Hunter · Jane Street超大规模环境中的微小优化为何值得投入？交易延迟为何更难衡量？性能分析、追踪、语言设计和硬件又如何相互配合？
29:38EN → 简体中文No Priors: AI, Machine Learning, Tech, & Startups· 2023年9月21日播客 · 2 人对谈新手刚做成一门 25 万美元的生意，专业程序员只拿到 30%主持 Sarah Guo, Elad GilReplit 首席执行官 Amjad Masad 谈 Ghostwriter、为什么 30 亿参数的模型就够用，以及他希望智能体在你睡觉时替你赚取悬赏。
2:21EN → 简体中文Varun 谈 Jane Street 的软件工程工作Varun · Jane Street一位伦敦开发者介绍有用的技术基础、OCaml 培训和 Jane Street 的团队匹配流程。
8:17EN → 简体中文使用 OpenLLM 通过 API 提供开放模型服务Matthew Berman · Forward Future在一场 2023 年的演示中，Matthew Berman 展示本地模型服务器、交互式 API 和 Python 客户端。
3:34:03EN → 简体中文
Lex Fridman· 2023年6月2日播客 · 2 人对谈Python 还没有完成：Chris Lattner 谈 Mojo 与硬件的乱局嘉宾 Chris Lattner · 主持 Lex FridmanLLVM 的创造者重返 Lex Fridman 的节目，主张 Python 应当获得接近 C 的性能，而非被迫让人离开这门语言。加载更多已显示 24 篇，共 153 篇