今日速览
xAI 发布 Grok 4.7：更大基座、更长 RL；输入/输出仍 $2/$6，对标 CursorBench 价格性能。
模型发布的卖点从「总分最高」变成「同价能多干多久、自查多严」。
要点
MiMo-V2.6 Flash/Pro 开源：文本图像视频音频一体，Flash 约 309B 总参/15B 激活，MIT，强调一次混合 RL。
中国开权重模型继续用「可负担 + 透明训练叙事」抢开发者心智。
要点
Jared Palmer 开源 Kev：0.8B/4B/9B，基于 Jev 架构思路，同一请求里做是否/选择题/打分，可本机服务。
不是事事巨型聊天模型——分类与路由用小决策模型往往更便宜、更可控。
要点
Linear 称代理让提交变快，CI 跟不上；测试近翻四倍，仍把 PR 等待压到约 5 分钟并砍半 runner 时间。
生成变便宜以后，约束会转移到验证——CI 是第一道墙。
要点
Colin Breck：AI 帮他写得更快，但讨厌读事后生成的设计文档、超长 PR 说明与会议纪要。
写作是脑到脑传信息；用模型灌水只会稀释比特密度。
要点
苹果支持文说明如何关闭/限制 Apple Intelligence；用户吐槽开关藏在「屏幕使用时间」里。
系统 AI 若默认占用磁盘与心智，关闭路径就该像关机一样好找。
要点
Alice GG 用「俄罗斯方块效应」比喻：长期盯什么，就会用什么形状看世界；算法在替你挑焦点。
产品若靠劫持注意力增长，用户最终会用「断连」投票。
要点
Bryan Cantrill：怀念 Sun 可以，但要学它怎么死——开源成功却接不住要买机器的客户。
战略对了、电话没人接，还是输给会上门的销售。
要点
作者把 SynthID 这类不可感知隐藏信号称作 spymark：追踪作品却不告知用户。
可见水印谈归属；隐形信号谈监控——别用同一个词糊弄。
要点
Anthropic 状态页：Mythos 5.1 / Fable 5.1 / Opus 5 等请求错误升高，已定位原因并修复中。
发版前夜的状态页抖动，往往比新闻稿更早透露压力。
要点
Science 报道称 Mars Sample Return 前景熄灭；评论吵成本膨胀、中国并行计划与商业火箭。
旗舰科学任务死于预算与日程失控时，叙事会立刻变成地缘与承包商政治。
要点
Polo Club 互动页：从下一 token 预测讲到温度、Top-k/Top-p 与注意力结构。
能拖动采样参数，比只背公式更容易建立直觉。
要点
作者改 Pi harness 本地复现代理自组织协作，顺带撞上公地悲剧式行为。
多代理一开口协作，激励设计比人格神话重要。
要点
短文用 x'=x/z、y'=y/z 讲清 3D 相机投影，带互动滑条。
图形学第一课往往就是一句：远的东西除以 z。
要点
GDQuest 教程：顶点/片元、UV、圆、smoothstep 与 uniform，做一个传送门效果。
Shader 入门最好的老师是「先画出一个圆」。
要点
陶哲轩博客转发：Advisory Group on Mathematics and AI 宣布成立，成员含多位菲尔兹奖得主等。
当公司用「AI 证明」做公关时，数学共同体开始建自己的发布协调层。
要点
LWN：Git 2.56 将至，并展望 3.0 可能带来的不兼容变化（订阅文）。
全世界开发流程的底座一变，兼容策略比新功能名单更要紧。
要点
SafeDep：仿 mathjs 的 mathmain 在 lusolve 里藏加密加载器，特定矩阵当密码才解密远控载荷。
供应链攻击可以休眠在「看起来像工具库」里，等你解对方程。
要点
Practical Engineering 旧文重翻：感应线圈、相位配时与城市目标冲突。
路口优化是多目标扯皮，不是「让我这辆车更快」的单变量题。
要点
Julia Evans 漫画：十进制浮点、分数等软件实现的替代方案（更慢但有时更准）。
硬件浮点快，不等于业务该用它算钱。
要点
Michael Steil：改进 DingusPPC，让 Copland D11E4 在浏览器可引导可点。
失败 OS 也能变活教材——仿真比博物馆玻璃柜更有说服力。
要点
Tim Dettmers：别默认「有卡才有未来」；dlab 用开源代码主张学术实验室仍有窗口。
代理把工程压缩后，单位成果该从论文张数换成可复用生态。
要点
五个危险任务台上测 Claude Fable、GPT Astra、MolmoAct2 等是否拒绝不安全操作。
聊天拒答≠肢体策略拒做；机器人安全要在动作环上测。
要点
IEEE Spectrum：HERMES 给短波加上更现代的安全数据能力，服务偏远通信。
基础设施之外，短波仍是「没有基站时」的备胎层。
要点
Python 成 Workers 一等语言：FastAPI/Django/Flask、绑定与 Hyperdrive；基于 Pyodide/Wasm。
边缘上跑 Python，关键是把套接字与 HTTP 客户端补到「不用想 JS」。
要点