筛选结果
214 篇排序
53:51EN → 简体中文
Jane Street· 2024年10月7日Liora Friedberg：在生产环境中解谜Yaron Minsky, Liora Friedberg · Jane Street生产工程既要应对实时事件，也要通过软件、流程改进和鼓励从错误中学习的文化减少未来的问题。Liora Friedberg 与 Ron Minsky 探讨 Jane Street 的这项工作。
9:25EN → 简体中文Jane Street· 2024年10月1日Richard Eisenberg：使用 OCaml 的类型强制转换运算符Richard Eisenberg · Jane Street通过多态变体、递归类型和私有类型别名，理解无需运行时转换的子类型关系。
19:46EN → 简体中文
Matthew Berman· 2024年8月28日Linus Torvalds 与 Dirk Hohndel 谈 AI 编程、漏洞和炒作Matthew Berman, Linus Torvalds, Dirk Hohndel · Forward FutureMatthew Berman 评论两场有关 AI 辅助编程、代码审查、自动化和开放数据的对话。
8:06EN → 简体中文Jane Street· 2024年8月7日OCaml 提议中的 include functor 语法如何减少重复Richard Eisenberg · Jane Street一个反向数组示例展示如何从最小实现派生常用模块函数，同时省去额外的包装模块。
1:07:34EN → 简体中文
Sequoia Capital· 2024年8月6日播客GitHub 起初不信，Copilot 已写下 25% 的代码GitHub 首席执行官 Thomas Dohmke 向红杉资本讲述：一个计划外的 GPT-3 实验如何变成 Copilot，GitHub 为何至今仍不自己训练基础模型（foundation model），以及他希望到 2030 年让十亿人写软件。
11:34EN → 简体中文Matthew Berman· 2024年8月1日测试 Mistral Large 2：2024 年的编程、推理与安全表现Matthew Berman · Forward FutureMatthew Berman 用小型编程任务、逻辑题和伦理假设测试 Mistral 的 1230 亿参数模型。结果令人期待，但测试范围有限。
8:52EN → 简体中文Matthew Berman· 2024年7月14日Yi-Large 测试：编程、算术与逻辑谜题Matthew Berman · Forward FutureMatthew Berman 用一组编程和推理提示测试 01.AI 的托管模型，结果有好有坏，部分评分也值得商榷。
1:03:36EN → 简体中文Jane Street· 2024年7月12日Erin Murphy：为专业用户设计工具Yaron Minsky, Erin Murphy · Jane Street从 NASA 科学家到 Jane Street 工程师，一位用户体验设计师讲述如何通过观察、绘图与协作了解复杂工具的需求。
14:36EN → 简体中文Jane Street· 2024年6月24日使用 OCaml 的 local 模式编程Richard Eisenberg · Jane Street通过一个例子了解局部列表如何包含全局值、为何仅靠不逃逸标注不能保证栈分配，以及这项实验性功能有哪些不便之处。
11:28EN → 简体中文Jane Street· 2024年6月13日OCaml 局部类型：regional 参数与循环区域Richard Eisenberg · Jane Street一段演示解释为什么某些局部参数能够跨越函数边界，以及循环区域如何回收分配的内存。
9:14EN → 简体中文Jane Street· 2024年5月29日OCaml 局部函数类型：偏应用为何可能导致值逃逸Richard Eisenberg · Jane StreetRichard Eisenberg 用列表拼接示例说明，在 Jane Street 的 OCaml 编译器分支中，局部参数如何改变偏应用函数的模式。
15:59EN → 简体中文Jane Street· 2024年5月7日OCaml 中的尾调用与局部区域Richard Eisenberg · Jane Street一个列表计数示例展示了局部闭包为何可能在尾调用时逃逸，以及 regional 模式与 [@nontail] 如何影响结果。
0:55EN → 简体中文Matthew Berman· 2024年4月18日Meta Llama 3：编程与图像生成快速演示Matthew Berman · Forward FutureMatthew Berman 介绍首批 8B 和 70B Llama 3 模型，并尝试生成 Python 贪吃蛇游戏和图像。
13:59EN → 简体中文Matthew Berman· 2024年4月5日SWE-agent 教程：浏览代码仓库并尝试修复 GitHub 问题Matthew Berman, Carlos · Forward FutureMatthew Berman 配置研究型编程智能体，遇到安装问题和成本上限，随后展示一位作者成功处理 SymPy 基准示例的过程。
14:23EN → 简体中文Matthew Berman· 2024年3月31日实测 DBRX：编程能力亮眼，推理仍有短板Matthew Berman · Forward FutureMatthew Berman 介绍 Databricks 的开放权重模型，并用编程、算术和推理题进行测试。
14:58EN → 简体中文Matthew Berman· 2024年3月30日OpenDevin 早期编程智能体：2024 年安装与演示Matthew Berman · Forward FutureMatthew Berman 安装早期的开源编程智能体项目，尝试制作计算器和简单网页，同时遇到设置与浏览器问题。
1:10:33EN → 简体中文
20VC with Harry Stebbings· 2024年3月20日播客 · 2 人对谈Jean-Michel Lemieux：交付、招聘与产品对齐嘉宾 Jean-Michel Lemieux · 主持 Harry Stebbings前 Shopify 首席技术官及 Atlassian 工程负责人解释如何平衡速度与质量、对齐决策并建立团队。
19:51EN → 简体中文Matthew Berman· 2024年3月15日Devin 的 2024 年发布：编程智能体演示与基准测试说法Matthew Berman, Scott Wu, Neal, Walden · Forward FutureMatthew Berman 结合此前的编程项目，审视 Cognition 的软件智能体演示、界面和 SWE-bench 对比。
3:30EN → 简体中文Jane Street· 2024年3月13日Richard Eisenberg 谈 Jane Street 的 OCaml 探索Richard Eisenberg · Jane StreetJane Street 编译器团队正探索非装箱类型、局部性模式和无数据竞争并行，以改善 OCaml 的性能和内存管理，使其更符合公司的需求。
11:07EN → 简体中文Jane Street· 2024年2月29日OCaml 的 local 值如何使用独立的栈Richard Eisenberg · Jane Street一个列表例子展示了限定在区域内的 local 值如何避免反复进行需要垃圾回收的内存分配。
55:29EN → 简体中文Matthew Berman· 2024年2月24日构建 CrewAI 简报团队：抓取、摘要与调试Matthew Berman, Joe · Forward FutureMatthew Berman 构建一个双智能体简报原型，逐步处理输入和抓取错误，并展示仍待解决的问题。
23:25EN → 简体中文Jane Street· 2024年2月20日Richard Eisenberg：OCaml 局部值如何减少垃圾回收分配Richard Eisenberg · Jane Street一个带类型注解的列表处理示例说明，创建值和使用值的函数都需要保持局部性。
22:27EN → 简体中文Jane Street· 2024年2月7日OCaml 如何推断局部性Richard Eisenberg · Jane Street了解 local 与 global 模式推断、模块签名、整数的模式跨越，以及函数类型之间的转换。
15:17EN → 简体中文Jane Street· 2024年1月31日OCaml 的局部值、模式与子模式关系Richard Eisenberg · Jane Street通过实例理解局部和全局模式如何控制值的逃逸，以及模式如何与函数类型相互作用。加载更多已显示 24 篇，共 214 篇