Claude Code v2.1.312 发布：新增 OIDC 用户身份识别与队列消息点击即发
Claude Code 发布 v2.1.312，向 Claude apps 网关新增 oidc.user_id_claim，可按 id_token 中除 sub 以外的声明（如 Microsoft Entra ID 的 oid）识别用户；全屏模式下点击队列消息下方的提示即可立即发送。
原文：2026/10/28
#编码
按收录时间排列 · 卡片保留原文日期，往期好文也会新收录
AIHOT 精选AI 评分5555
AIHOT 精选AI 评分5555 Claude Code v2.1.311 发布：修复启动卡顿与 1M 上下文报错等问题
Anthropic 发布 Claude Code v2.1.311，修复了 CLAUDE.md 含超长列表项时启动和读写文件的长时间卡顿、标准上下文会话请求超过 200K token 后报 "Usage credits required for 1M context" 而中断（现改为自动压缩并继续）、Write/Edit 修改数千行后卡住最多 5 秒等问题。
原文：2026/10/27
少数派AI 评分5555 用小米蓝牙遥控器2 Pro（RC003）打造60元的AI编程语音控制器教程
作者分享如何用小米电视蓝牙语音遥控器2 Pro（RC003，约50~60元）配合社区开源的SayAll（HD838A/remote-mic-app）和微信输入法，实现按住语音键口述Prompt、松手上屏，并用方向键免前缀切换终端Tab与Workspace、OK键确认、返回键中断。
原文：2026/10/25
Martin FowlerAI 评分4242 Martin Fowler：Fragments 十月四日
Martin Fowler 在本期 Fragments 中探讨了从"构建"确定性系统转向"培育"推理性 LLM 系统的挑战，指出后者难以像传统软件 bug 那样被简单修复或禁用，并推荐了探讨该主题的经典科幻电影《禁忌星球》。
原文：2026/10/05
HN AI 150+ 高分AI 评分8484 Kimi 发布 K3.1 Pro 及 Highspeed 版本，100 万 token 上下文开源模型
Kimi 发布 K3.1 Pro，称其为迄今最强的 3T 级开放权重模型，上下文窗口达 100 万 token，同时推出速度为前者 2-3 倍的 K3.1 Pro Highspeed，已在 Kimi.ai、Kimi Work、Kimi Code 和 Kimi API 上线，完整模型权重将于 11 月 4 日前发布。
原文：2026/10/24
AIHOT 精选AI 评分8484 月之暗面发布 Kimi K3.1 Pro，100 万 token 上下文，开放权重将于 11 月 4 日前释出
月之暗面发布 Kimi K3.1 Pro，这是 K3.1 系列首个模型，具备 100 万 token 上下文窗口，同时推出速度为 2-3 倍的 Kimi K3.1 Pro Highspeed，已在 Kimi.com、Kimi Work、Kimi Code 和 Kimi API 上线，完整模型权重将于 11 月 4 日前释出。
原文：2026/10/24
The DecoderAI 评分7474 Anthropic用Claude自动完成代码形式化验证
Anthropic的Frontier Red Team与合作方Theorem合作，让Claude对现有开源代码进行数学正确性证明：模型在数周内生成约1.8亿行证明代码，覆盖Google OSS-Fuzz项目中123个开源库的测试程序，由独立程序Rocq自动校验。
原文：2026/10/23
AIHOT 精选AI 评分6262 OpenAI 发布 GPT-6 系列模型，提升 COBOL 等低资源编程语言编码能力
OpenAI 宣布 GPT-6 系列模型在 COBOL、Fortran、Visual Basic 等低资源编程语言上能力显著提升，并推出 MultiLangBench 与 COBOL 迁移评估两项自建评测。
原文：2026/10/19
AIHOT 精选AI 评分6868 Tessl 团队：AI 生成代码下用审意图替代逐行代码审查
Tessl 工程师 Ankit Jain 分享团队 PR 量翻四倍、代码几乎全部由 AI 生成后，放弃逐行 diff 审查、改为在代码生成前审查意图并逐条验证验收标准的做法。关键实践包括维护 offer-skill 技能理解代码变更，以及把重复出现最多的审查评论固化成机器自动执行的不变量规则，作者预计第二个月起审查负担明显缩小。
原文：2026/10/20
AIHOT 精选AI 评分6868 Meta 开源权重模型 Muse Spark Open 在 Fireworks 上线，主打长上下文编码与 Agent 工作
Meta 的开放权重模型 Muse Spark Open 在 Fireworks 上 Day-0 上线 serverless 调用，为 816B 参数 MoE 模型，每 token 激活 42B 参数，上下文窗口 1M token，面向长周期编程与智能体工作。
原文：2026/10/20
AIHOT 精选AI 评分6161 Tessl 博客解析编码 Agent 写码占比与人工评审瓶颈的落差
Tessl 博客引用 Jellyfish 2026 年 9 月 AI 工程趋势数据指出，中位数公司已有 22% 的合并 PR 由自主编码 Agent 撰写（90 分位达 53%），但仅约 0.6% 的 PR 由 Agent 评审合并（前 10% 公司为 9%）。
原文：2026/10/21
阮一峰的网络日志AI 评分4747 阮一峰科技爱好者周刊（第416期）：编程已经面目全非
阮一峰在科技爱好者周刊第416期中，分享了一位国外资深程序员对AI改变编程的11条激进断言：代码审查、单元测试、敏捷编程将消失，"好代码"与代码风格规范失去意义，Bug多源于需求表达错误，项目三元分工将被一人多角色取代，UI将按需实时生成，Token预算成为软件质量的决定因素。
原文：2026/10/23
TechCrunch · AIAI 评分7070 Recursive发布可在笔记本运行的开源编码模型Flint
AI初创公司Recursive发布免费编码模型Flint，可在笔记本本地运行，采用Apache 2.0许可在Hugging Face下载。Flint为混合专家模型，40亿参数中每次任务仅激活25亿，在MacBook Pro上生成约131 tokens每秒，并在SWE-Bench Verified上超过其他50亿参数以下模型。
原文：2026/10/22
GitHub Blog · AI & MLAI 评分4343 AI 正在改变开发者的工作方式：需要强化的三项技能
GitHub Blog 指出，AI 正在改变开发者的工作方式，建议强化三项技能：学会指挥 AI 智能体而非仅使用它们、不轻信 AI 的第一个答案、用 AI 解决更大的问题。
原文：2026/10/02
GitHub Blog · AI & ML精选AI 评分6060 GitHub Copilot 官方博客：三位 Java Champions 分享提升生产力的实践
GitHub Blog 采访了三位拥有十多年 Java 经验的 Java Champions，介绍他们如何在生产与开源项目中使用 GitHub Copilot。
原文：2026/10/21
推荐理由：三位资深开发者给出从验证门到技能沉淀的具体做法，可迁移性强。
OpenAI NewsAI 评分4949 OpenAI 如何提升 ChatGPT 在低资源编程语言上的编码能力
OpenAI 正在提升 ChatGPT 在低资源编程语言上的编码能力，新增了针对软件工程、SQLite 和 COBOL 迁移的评测。这些评测用于衡量模型在 COBOL 等小语种和 SQLite 场景下的表现，帮助改进 ChatGPT 的代码生成与迁移能力。
原文：2026/10/19
OpenAI NewsAI 评分2222 Benefit Street Partners 用 Codex 加速回答客户问题
Benefit Street Partners 的 Anant Kumar 使用 Codex 进行代码审查并更快完成后续跟进，用于构建比较贷款估值和分析信贷协议的工具。Codex 帮助他加速处理流程，更快回答相关问题。
原文：2026/10/16