#编码

Snippet 发布常驻 AI 智能体：在本地电脑上运行编码团队

Snippet 发布常驻 AI 智能体，在用户自己的电脑上运行一支编码团队，由 Mission Control 分派任务、检查结果并交回可合并的改动。它支持从手机、桌面或终端发起请求，可接入 Claude、ChatGPT、Grok、Gemini 等已有模型，当一个模型达到上限时后台工作会切到列表中的下一个。每个智能体有独立记忆，项目记忆以仓库内可读可改的纯文件保存，并支持定时任务与安静时段。

在喜马拉雅山麓用离线 AI 智能体写代码：OpenCode + Ollama 本地跑 Qwen3.5 9B

一位 Thomson Reuters 首席工程师在喜马拉雅山麓断网环境下，用 OpenCode 1.19.4 搭配 Ollama 本地运行 Qwen3.5 9B 完成代码解释、测试排查与重构等任务。

Mirendil 发布首个模型 Fern 0.1，支持 10M token 上下文

Mirendil 发布首个模型 Fern 0.1，这是一个从零训练的编码模型，上下文窗口最高 10M token，约合 23 MB 代码。其基座 Mirendil-Base 由一名研究员借助 AI 智能体在 3.5 个月内预训练完成，总计算成本低于 1000 万美元，训练数据仅来自公开来源。

Show HN：给 AI 编程 runner 一个真实任务，看它一路做到合并

mcp4mail.online 上线了一个实时观察面板，可看到 Claude Code runner 在开源邮件项目 mcp4mail 上从接任务、提 PR 到测试、合并的全过程。40 天内两个 runner 共完成 179 个任务，运行在自有机器上且无主分支直接权限，工作日布拉格时间 8:00 至 18:00 工作。访客可挑选任务、邮箱确认后围观 AI 开发，站点每天部署一次。

OpenAI Codex 发布 0.166.0-alpha.2 预发布版本

OpenAI Codex 发布 0.166.0-alpha.2 预发布版本，对应标签 rust-v0.166.0-alpha.2，由 github-actions 于 10 月 27 日 11:54 发布。该版本自上一版本以来包含 4 个提交，共提供 288 个资源文件。

HN 讨论：面对 Agentic Coding 带来的“AI 反乌托邦”，开发者能做什么

Hacker News 上一位开发者发帖，呼吁社区想办法应对 Agentic Coding 快速进步带来的职业冲击，称软件工程师正像汽车普及时代的马车。他提出如何控制依赖、放慢节奏甚至彻底停下，并称此类哀叹帖近来频繁出现已令人厌倦。该帖为重新提交，此前曾因不明原因被标记。

Codex 发布 0.165.0-alpha.1.2 预发布版本

OpenAI 的 Codex 发布 0.165.0-alpha.1.2 预发布版本，该版本自上一版以来向主分支合入 151 个提交。版本标签为 rust-v0.165.0-alpha.1.2，由 github-actions 于 10 月 27 日发布。

OpenAI Codex 发布 0.165.0-alpha.1.1 预发布版本

OpenAI Codex 发布预发布版本 0.165.0-alpha.1.1，对应标签 rust-v0.165.0-alpha.1.1，自上一版本以来主分支新增 151 个提交。该版本以预发布形式提供，附带 288 个资源文件。

GPT-6.1 Sol 助力 CodeRabbit 强化复杂代码库安全审查

CodeRabbit 使用 GPT-6.1 Sol 排查复杂代码库中的安全风险。其安全智能体可帮助开发者审查发现的问题与建议修复方案。

Claude Code v2.1.311 发布

Claude Code v2.1.311 为 self-hosted-runner 新增 --hold-idle-file 和 --max-hold-min 参数，可在宿主机报告遗留进程时保持空闲会话。

OpenAI 发布 GPT-6.1 Terra，API 价格减半并逼近更大模型

OpenAI 发布 GPT-6.1 Terra，API 输入每百万 token 1 美元、输出 5 美元，均为 GPT-5.6 Terra 的一半，缓存输入降至每百万 token 0.05 美元。

同一新闻，精选展示《OpenAI 发布 GPT-6.1 Terra》

OpenAI 如何用 Codex Ultrafast 将事故调查从数小时缩短到数分钟

OpenAI 工程师借助 Codex Ultrafast 将事故调查时间从数小时压缩到数分钟。该工具还用于加速安全分析、代码重构和日常工作流。

AI 能解决 COBOL 代码危机吗

The Verge 报道，OpenAI 于 10 月 19 日宣称其最新模型在把 COBOL 等老旧语言迁移到 C++、Java、Kotlin、Python、Rust 时取得实质进展，GPT-6.1 Sol 在低推理强度下行为保持准确率为 87%，提高推理强度后升至 98%。

Kevin Roose 谈新书《The AGI Chronicles》与播客 Machine Gods

Kevin Roose 出版新书《The AGI Chronicles》，记录前沿实验室竞逐通用人工智能的历程，并与 Casey Newton 离开《纽约时报》创办视频优先的科技播客 Machine Gods。他在访谈中表示 YouTube 是当下最重要的媒体平台，而高质量新闻在其中占比极小，希望探索可持续的视频新闻模式。

Battledrones v14 新增 Compass Rose 四人地图

Claude Opus 4.5 为 Battledrones 新增四人地图 Compass Rose，支持四向旋转对称，最多四名 AI 玩家，并改造 WebSocket 多人网络代码以支持四人通过分享链接或二维码加入。新阵营使用紫色和绿色机器人，与原有蓝红设计并存，空位由 AI 补足。

研究：花哨的编码智能体框架只增加成本，并未提升效果

Liu 与 Han 的研究发现，在 SWE-bench Verified 上更换编码智能体框架对通过率的影响与同一配置重跑一次的波动相当，中位翻转率均为 13%，而更换模型则达到 22%。

月之暗面发布 Kimi K3.1 Pro：2.8T 总参数、104B 激活，承诺 11 月 4 日开放权重

月之暗面发布 Kimi K3.1 Pro，这是一款 2.8T 总参数、104B 激活参数、100 万 token 上下文窗口的多模态 MoE 模型，标准版与 Highspeed 版已上线网站、App、Kimi Work、Kimi Code 和 API，Highspeed 输出速度提升 2–3 倍但价格为标准版两倍。

Claude Opus 5.5 High 用 canvas 模拟画笔快速重绘照片

给 Claude Opus 5.5 High 的提示词要求构建一个 artifact：打开照片后，在几秒内用 canvas 元素和模拟画笔绘制出该照片的版本。作者此前还做过让 Claude Fable 用 P5.js 模拟水彩插画的实验。

月之暗面发布 Kimi K3.1 Pro，Artificial Analysis 智能指数升至第四

月之暗面发布推理模型 Kimi K3.1 Pro，在 Artificial Analysis 智能指数上得分 55，比 Kimi K3 提升 11 分，位列第四，仅次于 Claude Opus 5.5（58）、Claude Sonnet 5.5（56）和 Muse Wonder Full（56）。

Anthropic 让 Claude 自动为代码生成形式化安全证明

Anthropic 的 Frontier Red Team 与 Theorem 合作，让 Claude 对 Google OSS-Fuzz 中 123 个开源库的测试程序做形式化验证，几周内生成约 1.8 亿行数学证明代码，并由 Rocq 自动校验。

Recursive 发布笔记本端编码模型 Flint，称大部分由 AI 参与构建

AI 初创公司 Recursive 发布首个模型 Flint，这是一个可在笔记本上离线运行的免费编码模型，以 Apache 2.0 许可在 Hugging Face 开放下载。

Recursive 发布首个模型 Flint，由 Eureka Machine 参与研发

AI 初创公司 Recursive 发布首个语言模型 Flint，一款面向本地硬件智能体编码的 MoE 模型，总参数 40B、每 token 激活 2.5B，四个月内完成开发。

Battle Drones：一款用音频实现多人联机的 vibe coded RTS 游戏

Simon Willison 用 Claude Code 打造了 Command & Conquer 风格 RTS 游戏 Battle Drones，经 12 个大版本、321 次 coding agent 提交，支持手机与桌面浏览器。游戏含 9 种建筑、7 种地面载具、6 种空中载具、3 种步兵，以及随机地图生成器和 AI vs. AI 模式。其多人模式让两台邻近设备通过音频消息同步游戏状态。

三位 Java Champion 如何用 GitHub Copilot 提升生产力

三位拥有十余年 Java 经验的 Java Champion 分享了在生产与开源项目中使用 GitHub Copilot 的具体实践。

Simon Willison 转载 Jeremy Scheff 文章：编程的讣告

Jeremy Scheff 撰文指出，coding agent 让以解谜为乐的职业程序员失去了编程的核心乐趣：过去他们靠解决越来越难的逻辑谜题获得高薪，并掌握策略、时间线和可行性定义权。对于只在乎构建可用系统的程序员，LLM 是持续馈赠；但对于享受直接解题过程的人，这种损失非常真实。

如何在 VS Code 中继续 GitHub Copilot 应用会话

GitHub Copilot 应用中的会话可直接在 VS Code 中打开并继续，保留原有对话、代码改动和 worktree 工作上下文。VS Code 会加载该会话对应的 worktree 并在 Copilot 侧边栏显示原会话，用户可逐行审查 diff、手动编辑、在集成终端运行测试，最后提交并推送到该会话关联的 pull request。

Mistral 发布 Mistral Large 4 公开预览，1 万亿参数原生多模态

Mistral AI 发布 Mistral Large 4 公开预览，这是一个 1 万亿参数、520 亿激活参数的原生多模态模型，权重将于本月底开放。

GitHub 发布 ReviewBench：面向 AI 代码审查的开放基准

GitHub 发布 ReviewBench，一个面向 AI 代码审查智能体的开放离线基准，基于 103.9M 条 GitHub PR 的分布构建，包含 219 个 PR、覆盖 19 种语言。

AI 正在改变开发者工作，GitHub 给出三项需要强化的技能

GitHub 提出 AI 时代开发者应强化三项技能：学会指挥 AI 智能体而非仅使用它，不轻信 AI 的第一个答案，以及用 AI 节省的时间去解决更大的问题。GitHub Copilot 内置的 Rubber Duck agent 会用第二个模型审查计划、代码和测试，以捕捉首个模型遗漏的问题。随着 AI 承担更多实现工作，判断力、权衡取舍和解决正确问题的能力变得更加重要。

Google DeepMind 发布 Gemini 4 Argon 前沿模型

Google DeepMind 发布前沿模型 Gemini 4 Argon，先通过 Fairwind Program 向受信任的网络安全防御方开放，后续再逐步提供给开发者、企业和消费者。

Mistral 用 AI 智能体将 4 万行 Fortran 77 代码迁移至 C++

Mistral 帮助一家欧洲能源运营商把 4 万行 Fortran 77 油藏模拟器代码迁移到 C++，该代码没有测试套件，也没有集中文档。团队先搭建数值对齐校验框架，再让智能体解析代码库并生成文档，最终采用由人类操作、编码、测试和审查智能体协同的模块化工作流。首个冲刺完成 30 万行中的 4 万行，Mistral 总结出三条经验：先建校验框架、先整理文档、结构化工作流加人工审核优于完全自主。