今天的主线是编码智能体在改写软件本身的成本结构:Shopify 因为智能体让「做两遍」变得便宜而放弃 React Native 回归 Swift 与 Kotlin;Cognition 用 RL 把开源的 Kimi K3 调成了 SWE-2,编码能力追平 Fable 5.1 而成本低 64%;OpenAI 把 Codex 的 harness 作为 Agents API 出租。此外:Forgejo 的严重 RCE、PlanetScale 的分片 Postgres Neki,以及 Oracle 以 OCI 增长 121%、6,640 亿美元积压订单通过 AI 资本开支大考。
- Shopify 放弃 React Native 回归 Swift 与 Kotlin —— 因为编码智能体改变了成本账
- Cognition 发布 SWE-2:用 RL 调教 Kimi K3,编码能力追平 Fable 5.1 而成本低 64% —— 但在最新基准上掉队
- OpenAI Agents API:把 Codex 的 harness —— 会话、沙箱、子智能体 —— 作为服务出租
- Forgejo 16.0.4 / 15.0.8 修复严重 RCE:恶意模板仓库可以偷渡进一个 .git 目录
- PlanetScale 开放 Neki,Vitess 团队打造的分片 Postgres —— 预览版,且不开源
- trynix.dev 在浏览器标签页里的 Linux 虚拟机中启动 31 万个 Nix 包版本中的任意一个 —— 现在还能预览 PR
- Oracle 通过 AI 资本开支大考:OCI 增长 121%、6,640 亿美元积压订单、交付 30 万块 GPU —— 股价涨约 5%
- 「死光」:一个带无限循环的 WebGPU shader 就能冻住任何 Apple Silicon Mac —— Apple 说这不算安全问题
- 九个编码 harness 对决你的笔记本:跑本地模型时,瓶颈是系统提示词而不是模型
- 芯片一周:Qualcomm–AWS 600 亿美元定制芯片认股权证协议、ASML/TSMC 推动 2031 年 12 英寸 High-NA 掩模、Ayar Labs 估值破 50 亿美元
- 距创纪录 IPO 只剩数周,Anthropic 对齐负责人称灭绝风险超过 10% —— S-1 里得写点什么
- Positron AI 以 50 亿美元估值融资 8.75 亿:押注「内存优先」的 LPDDR5X 推理芯片 —— Liberty Global 也入局
- ACL「可持续审稿」提案:每篇投稿必须自带合格审稿人,否则进抽签池
