跳到正文
#编码
10月24日周六
  1. Kimi.ai83

    月之暗面发布 3T 级开放权重多模态模型 Kimi K3.1 Pro，具备 1M-token 上下文窗口、2.8T 总参数及 104B 激活参数。该模型在全项目编码、Blender 与 CAD 参数化 3D 建模及金融任务中表现出色，幻觉率降低 65%，并在多个基准测试中匹配最强闭源模型。

    发布时间：

    同一件事，精选收录的是《月之暗面发布 Kimi K3.1 Pro 模型》

  2. Claude：YouTube43

    Factory 如何用 Claude 构建自主软件工程

    Factory 联合创始人 Matan Grinberg 与 Anthropic 的 Kai Gill 对谈，介绍了 AI 编码智能体 Droids 如何借助 Claude 的前沿模型处理大型代码库长周期任务，并实现 COBOL 现代化改造减少 90% 的人力投入。双方还探讨了构建完全自主“dark factory”所面临的障碍。

    发布时间：
10月23日周五
  2. The Verge · AI56

    复古游戏正被 AI 侵入

    随着 AI 编码工具的大量涌现，复古游戏的去编译和重构（decomps and recomps）速度显著加快，但这也引发了社区分裂与开源滥用等问题。文章探讨了 AI 在加速老游戏移植的同时，如何对传统游戏保存工作和紧密团结的爱好社区造成冲击。

    发布时间：
  3. The Decoder61

    Anthropic 用 Claude 自动编写并证明代码安全性

    Anthropic 联合 Theorem 让 Claude 自动生成数学证明以验证现有代码的安全性，在数周内产出了约 1.8 亿行数学证明代码并自主修复了数百个漏洞。这种方法能挖掘出传统测试难以发现的深度漏洞，但目前受限于特定的处理器架构、单线程程序和输入大小等严格条件且计算成本高昂。

    发布时间：
  5. IT之家·人工智能58

    阿里 Qoder 宣布支持 Linux ARM64 与龙芯平台并适配统信 UOS、银河麒麟

    阿里 Qoder 国际版与中国版现已支持 Linux ARM64 与龙芯平台，适配统信 UOS 和银河麒麟操作系统。此次升级将 Qoder 的需求理解、任务执行与成果交付等完整工作方式带入国产桌面系统，至此 Qoder 已完成对鸿蒙 PC、鸿蒙移动端及统信和银河麒麟桌面操作系统的适配。

    发布时间：
  8. MiniMax (official)86

    MiniMax 宣布开源 MiniMax-M3.1-Flash 模型权重，总参数量为 428B，每个 token 激活 23B。该模型在智能体任务和编码方面表现出色，支持 MiniMax Sparse Attention 与 DSpark 推测解码技术，权重已上线 Hugging Face 与 ModelScope。

    引用MiniMax (official)@MiniMax_AI

    MiniMax M3.1 Flash: Space Performance + Bunny Speed 🚀🐰 Yes, Space Bunny - which has topped global leaderboards with 200T+ tokens - was an earlier version of M3.1 Flash. 💰Redefining the performance economics of agentic AI. M3.1 Flash achieves frontier-level intelligence across key tasks such as Cowork (Automation-Bench: 62%; ALE: 30%), Coding (DeepSWE: 74%) and Visual Reasoning (BabyVision: 91%), at 1/3 the cost of M3 and 3x the speed. API pricing (flat rate): $0.15 / $0.60 per 1M input/output tokens, with cache reads at $0.015 / 1M tokens. Model weights will arrive on Oct 23. API: http://platform.minimax.io M Plan: https://www.minimax.io/m-plan MiniMax Code for desktop: https://agent.minimax.io/download

    发布时间：

    推荐理由：MiniMax 开源了 M3.1 Flash 模型权重，给出了参数规模和多项基准测试数据，便于开发者评估其在智能体和编码任务中的表现。

  16. Databricks：Blog46

    Databricks 高管复盘 AI 编码成本治理，从账单失控到单位成本降 90%

    Databricks 通过引入控制层 Unity Gateway 并采用更具性价比的新模型，成功将 AI 编码工具的单位成本降低高达 90%，同时将研发团队的整体产出提升近一倍。早期由于无限制开放顶级模型导致费用指数级飙升，该公司随后放弃了一刀切的硬性限额，转而采用渐进式干预、透明化消费明细以及集中化模型路由等策略。

    发布时间：
10月22日周四
  5. Hacker News-首页63

    Switch 2 软件越狱实现与底层漏洞分析

    作者 ledoge 介绍了针对 Switch 2 最新固件 23.0.1 的软件越狱方案 ns2jb。该方案利用了浏览器及历史游戏漏洞获取任意代码执行权限，通过路径规范化漏洞实现文件系统的任意读写，进而加载自定义代码并获取系统模块权限。

    发布时间：
  6. Hacker News-首页63

    ego lite：专为 AI 智能体打造的高速浏览器自动化工具

    ego lite 是一款专为 AI 智能体设计的浏览器自动化工具，支持在独立的空间中并行运行任务，同时不干扰用户的日常浏览标签页。该工具允许智能体直接编写 JavaScript 函数替代复杂的命令行循环，继承 Chrome 的登录状态与数据，并可通过 Claude Code 等外部智能体 CLI 进行驱动。

    发布时间：
  12. MarkTechPost65

    Vercel 开源 durable-harness，为编码智能体提供崩溃恢复能力

    Vercel 推出了开源包 durable-harness，旨在为 Claude Code、Codex、Pi 和 OpenCode 等编码智能体提供崩溃与超时恢复能力。该工具通过将执行步骤写入持久化日志并在 Vercel Queues 或自托管环境调度，确保中断的会话能够从崩溃点继续执行，同时避免已完成的模型 token 被重复计费。

    发布时间：
  14. Hacker News-首页54

    该 PHP 漏洞并没有想象中那么容易被利用

    作者针对近期备受关注的 PHP 漏洞指出，当前 GitHub 上流传的数千个 PoC 多数无法在默认 PHP 实例上工作，往往依赖本地文件包含等苛刻前提。这主要是因为大模型在生成利用代码时存在盲区，甚至误导用户。相比 Log4Shell 等经典漏洞，该漏洞并不具备即时且大面积的利用威胁。

    发布时间：
  15. TechCrunch · AI51

    Blacksmith 获得红杉领投的 C 轮融资并晋升独角兽

    专注于帮助企业高效构建和测试软件的平台 Blacksmith 宣布获得由红杉资本领投的 6600 万美元 C 轮融资，估值达到 10 亿美元。该公司联合创始人兼 CEO Aditya Jayaprakash 表示，随着 AI 编写的代码增多，持续集成和代码信任度成为企业面临的主要挑战。该公司此前在两个月前完成了 4500 万美元 B 轮融资，目前总融资额已达 1.25 亿美元。

    发布时间：
  16. Claude Code：GitHub Releases31

    Claude Code v2.1.307 发布：新增 /claude-api 命令与安全事件遥测

    Claude Code v2.1.307 版本正式发布，新增用于迁移 Claude API 代码的 `/claude-api` 命令以及针对工具调用的 OpenTelemetry 安全事件遥测功能。新版本同时修复了在设置特定上下文及配置网关时的模型报错问题，并改进了自托管运行程序与工具调用的稳定性和响应表现。

    发布时间：