最近更新的频道

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

筛选结果

28 篇
排序
1:02EN → 简体中文
Matthew Berman· 2026年10月15日从打孔卡到 AI 软件工厂Matthew Berman · Forward FutureMatthew Berman 对比早期编程和 AI 辅助工作流,并推广 Factory 的开发工具。软件工厂编程智能体Software engineering+1
0:46EN → 简体中文
Matthew Berman· 2026年10月12日Matthew Berman 借助 AI 重新制作 Super Mario WorldMatthew Berman · Forward Future这段简短的进度更新介绍了一次为 ModRetro 掌机重制游戏、持续多天的尝试。编程智能体Software engineering
幻灯片0:35EN → 简体中文
Matthew Berman· 2026年9月15日Astra 运行五天,构建城市模拟游戏Matthew Berman · Forward FutureMatthew Berman 展示了一款据他说由 Astra 在五天内制作的城市建设游戏,并指出项目仍未完成。编程智能体Vibe CodingSoftware engineering
3 张幻灯片0:52EN → 简体中文
Matthew Berman· 2026年6月24日Codex 运行 12 天,打造 Excel 仿制品Matthew Berman · Forward FutureMatthew Berman 给 Codex 一个简短目标,运行超过 12 天后手动停止,并演示生成的电子表格。编程智能体智能体工程Software engineering
幻灯片1:08EN → 简体中文
Matthew Berman· 2026年1月22日AI 会如何改变程序员的工作?Matthew Berman · Forward FutureMatthew Berman 回应 Ryan Dahl 关于编写代码的预测,并认为系统思维仍然重要。Future of Work编程智能体Software engineering
4 张幻灯片1:10EN → 简体中文
Matthew Berman· 2025年8月8日测试 GPT-5 生成的魔方模拟器Matthew Berman · Forward FutureMatthew Berman 提示 GPT-5 构建 Three.js 魔方模拟器,并在不同尺寸下尝试打乱和求解功能。Software engineering评估Generative media+1
2 张幻灯片0:27EN → 简体中文
Matthew Berman· 2025年5月8日一个受 DOOM 启发的游戏短演示Matthew Berman · Forward FutureMatthew Berman 展示了一个带移动敌人和两种武器的第一人称游戏原型。编程智能体Generative mediaSoftware engineering
2 张幻灯片0:26EN → 简体中文
Matthew Berman· 2025年5月7日虚拟 20×20 魔方求解器演示Matthew Berman · Forward FutureMatthew Berman 打乱一个虚拟魔方,展示它恢复到看似完成的状态。Software engineeringAI research
5 张幻灯片12:43EN → 简体中文
Jane Street· 2024年12月20日OCaml 如何在内存中表示值借助 OCaml 的 Obj 模块,实际了解立即整数、堆块、运行时标签和变体构造器。Software engineeringProgramming Languages
3 张幻灯片9:25EN → 简体中文
Jane Street· 2024年10月1日Richard Eisenberg:使用 OCaml 的类型强制转换运算符Richard Eisenberg · Jane Street通过多态变体、递归类型和私有类型别名,理解无需运行时转换的子类型关系。Programming LanguagesSoftware engineering
4 张幻灯片8:06EN → 简体中文
Jane Street· 2024年8月7日OCaml 提议中的 include functor 语法如何减少重复Richard Eisenberg · Jane Street一个反向数组示例展示如何从最小实现派生常用模块函数,同时省去额外的包装模块。Programming LanguagesSoftware engineering
5 张幻灯片14:36EN → 简体中文
Jane Street· 2024年6月24日使用 OCaml 的 local 模式编程Richard Eisenberg · Jane Street通过一个例子了解局部列表如何包含全局值、为何仅靠不逃逸标注不能保证栈分配,以及这项实验性功能有哪些不便之处。Software engineeringProgramming Languages
5 张幻灯片11:28EN → 简体中文
Jane Street· 2024年6月13日OCaml 局部类型:regional 参数与循环区域Richard Eisenberg · Jane Street一段演示解释为什么某些局部参数能够跨越函数边界,以及循环区域如何回收分配的内存。Programming LanguagesSoftware engineering
4 张幻灯片9:14EN → 简体中文
Jane Street· 2024年5月29日OCaml 局部函数类型:偏应用为何可能导致值逃逸Richard Eisenberg · Jane StreetRichard Eisenberg 用列表拼接示例说明,在 Jane Street 的 OCaml 编译器分支中,局部参数如何改变偏应用函数的模式。Programming LanguagesSoftware engineering
3 张幻灯片14:23EN → 简体中文
Matthew Berman· 2024年3月31日实测 DBRX:编程能力亮眼,推理仍有短板Matthew Berman · Forward FutureMatthew Berman 介绍 Databricks 的开放权重模型,并用编程、算术和推理题进行测试。Open-weight models模型与训练评估+1
3:30EN → 简体中文
Jane Street· 2024年3月13日Richard Eisenberg 谈 Jane Street 的 OCaml 探索Richard Eisenberg · Jane StreetJane Street 编译器团队正探索非装箱类型、局部性模式和无数据竞争并行,以改善 OCaml 的性能和内存管理,使其更符合公司的需求。Programming LanguagesSoftware engineering
3 张幻灯片11:07EN → 简体中文
Jane Street· 2024年2月29日OCaml 的 local 值如何使用独立的栈Richard Eisenberg · Jane Street一个列表例子展示了限定在区域内的 local 值如何避免反复进行需要垃圾回收的内存分配。Programming LanguagesSoftware engineering
5 张幻灯片9:25EN → 简体中文
Matthew Berman· 2024年1月31日Matthew Berman 用贪吃蛇游戏测试 Meta 的 Code Llama 70BMatthew Berman · Forward Future回顾 Meta 在 2024 年发布的编程模型、针对 SQL 微调的版本,以及一次未能成功运行的上手测试。Open-weight modelsSoftware engineeringBenchmarks+2
7 张幻灯片12:52EN → 简体中文
Jane Street· 2024年1月23日OCaml 的局部变量、返回值与区域Richard Eisenberg · Jane Street通过一个实例,了解 `local_` 和 `exclave_` 如何让函数接收局部值,并在调用方区域中返回局部结构。Programming LanguagesSoftware engineering
4 张幻灯片8:52EN → 简体中文
Jane Street· 2024年1月5日OCaml 局部参数入门Richard Eisenberg · Jane Street通过示例了解 Jane Street 实验性的 local 模式如何限制值逃逸,并让函数接口更易于推理。Programming LanguagesSoftware engineering
2:21EN → 简体中文
Jane Street· 2023年6月30日Varun 谈 Jane Street 的软件工程工作Varun · Jane Street一位伦敦开发者介绍有用的技术基础、OCaml 培训和 Jane Street 的团队匹配流程。Software engineeringCareersCompany Culture
3 张幻灯片8:17EN → 简体中文
Matthew Berman· 2023年6月22日使用 OpenLLM 通过 API 提供开放模型服务Matthew Berman · Forward Future在一场 2023 年的演示中,Matthew Berman 展示本地模型服务器、交互式 API 和 Python 客户端。Open-weight modelsInference基础设施与部署+1
7 张幻灯片4:36EN → 简体中文
Matthew Berman· 2023年6月20日测试 WizardCoder 15B:本地运行的编程助手Matthew Berman · Forward FutureMatthew Berman 在本地运行 2023 年发布的 WizardCoder 模型,测试小型 Python 练习和较长的 Snake 游戏程序。模型与训练Local inferenceSoftware engineering+2
5 张幻灯片7:37EN → 简体中文
Matthew Berman· 2023年5月25日Smol Developer:根据提示词生成一个小型 Python 项目Matthew Berman · Forward FutureMatthew Berman 演示一个 2023 年的项目生成工具,从简单的 Ruby 示例到包含多个文件的 ChatGPT API 程序。Software engineering编程智能体Developer productivity+1
加载更多已显示 24 篇,共 28 篇