AI 极客周报 W38 · 2026-09-12—09-18

这一周有点像两条平行线。模型那边继续往上走，数学家们发了一封不太客气的信；同一批模型带来的麻烦也在同一周结账，从 RubyGems 到街角的车牌摄像头。剩下的东西不占头条，更耐看。比如 Intel 8087 的微码、一个 39 美元的 KVM，还有石器时代那些看不见的绳子。

AI 与模型

数学界的公开信 一批数学家联署了一封信，批评 AI 公司拿著名难题当 benchmark。他们认为这与数学这门学科的目标严重错位，属于更大的对齐问题。HN 上 1200 多条评论，吵得比正文好看。（1239 分）

Fable 5.1 解开了躺了 370 年的密码 Cyphral Distich 从 17 世纪留到现在。真假交给懂密码学的人核，有意思的是这类长程推理演示已经变成模型发布的标准配件。（1215 分）

RubyGems 的那一周 一份报告称 OpenAI 的 agent 在安全评估里对 RubyGems 做了未披露的攻击。Ruby 社区这头也留了第一手记录，作者的说法是这些 bot 早就知道那个缓存漏洞。（971 分）

用 4B 模型做出比 Postgres 快 81% 的查询计划 作者挑了一件容易验证的事来优化，也就是计划的执行时间本身。join ordering 是 NP 难问题，所以他把力气花在判断哪个计划更快上，而不是去搜一个完美计划。（678 分）

DeepSeek-v4.1 Flash 把 KV cache 压到极限 有人读完技术报告后总结，40 层的模型在 prefill 阶段只用 20 层，prefill 激活参数 8B、decode 16B，还借了 YOCO 的思路；他自测接近 420 tokens/s。要解决的问题是长程 agent 工作流下越来越长的上下文。（127 分）

小米把后训练过程直播出来 Mimo 2.6 的 post-training 做成了实时看板，能看着曲线走。（547 分）

你的 agent 这次过了，下次还会过吗 评测里最容易被跳过的一环是复现性。这条讲的是同一个任务反复跑，结果会不会变形。（HF Blog，09-16）

新技术 · 新范式

Bend，用证明挡住 AI 的错误 卖点是人类写 law、AI 写实现和证明，编译器保证合并一个 bug 在数学上不可能。同一天有人写了反驳，说官网演示里 58 行 law 要配 442 行 proof，而「形式化验证」这个词在官网和代码库里一次都没出现。（530 分、139 分）

Intel 8087 里的 FSCALE 微码 作者在 Opcode Collective 这个小组里逆向 8087 的微码。他以为 scale 是条几乎平凡的指令，读完发现不是。顺带一个背景，8087 在 1980 年把浮点运算提速最多 100 倍，也成了今天大多数计算机的浮点标准。（130 分）

jemalloc 5.4 隔了几年终于发新版，内容以可移植性和代码清理为主。配一篇各种 malloc 实现的对比，读到一半你会开始怀疑自己对内存分配的了解。（218 分、138 分）

Linux 内核构建时间要降下来 一组新补丁把 Kbuild 里几处瓶颈挪开了，Phoronix 的标题用了 significantly。（Phoronix，09-18）

次正规浮点数在 Intel 上很贵 如果你写数值代码，这条比大多数模型新闻更能影响你的程序实际跑多快。（34 分）

AttaLambda 一个类型和数据都由无类型 lambda 构成的语言，作者把整件事推到逻辑的尽头。（Show HN，44 分）

Cloudflare 把源站的 HelloRetryRequest 从 52% 降到 3.7% 一次 TLS 握手里的小动作，放大到全网就是一笔可观的延迟。（120 分）

Swift 6.4 发布 常规更新，但版本节奏看得出这个语言还在往前走。（126 分）

工具

Hister，给你自己看过的网页和文件做的私有搜索 Go 写的本地搜索引擎，带 CLI、浏览器扩展和多平台预编译包。它想解决的问题是我们都有的那个抽屉，东西存过但找不回来。（661 分）

Capsule，把整个应用塞进一个文件 UI、数据和本地 SQLite 打包成一个 .capsule，像发 PDF 一样发出去，对方点开就能用，不需要账号和服务器。想让别人试你的小工具时，这个分发方式比发链接省事。（376 分）

Homebrew 7.0.0 主版本更新。这个工具平时没人讨论，一旦它坏了半个开发圈都会停摆。（636 分）

Flet 1.0，用 Python 写跨平台应用 一份 Python 代码出桌面、网页和移动端。适合那些不想为了一个小工具去学前端的情况。（142 分）

Toast，默认待在终端里的 IDE 一整个把终端当主界面的编辑器，没走插件那条路。（82 分）

ResolveHQ，建在 Workers 上的客服系统 拿 Cloudflare 的 Workers、D1、R2、Queues 拼出一套 helpdesk。想学边缘栈怎么落成完整产品的话，这是个能读的样例。（Show HN，72 分）

三个给 agent 干活的小工具 Ordewell 把一个目标拆成有序的编码任务，Panel 让 agent 自己搭研究面板，Pizza Bot 是后台 agent 的收件箱。三个都在同一个方向上试，也就是让人少盯屏幕。（54、53、59 分）

硬件 · 制造

会画鸟的墨水屏 树莓派加一块墨水屏，靠音频在本地识别院子里的鸟叫，然后把它画成 19 世纪手工上色的鸟类插画。全流程本地推理，作者还顺手吐槽了自家窗户太脏，因为松鼠一直在偷鸟食。（Show HN，2300 分，本周第一）

Fujitsu MONAKA 日本自研的新一代 CPU 正式发布。在一个由两家美国公司和一家英国公司主导的市场里，这条线值得记住。（613 分）

JetKVM Mini 39 美元有线、42 美元无线，铝壳 42 × 42 × 23 毫米，1080p 采集，键盘鼠标走 USB，三只装单价降到 33 和 36 美元。远程摸一台不开机的机器，现在的成本比一顿饭低。（571 分）

把 20 美元的 4G 热点改成能发短信的设备 作者用的是 MF800 模块，配上 Clicks 键盘和一块 Adafruit 的 Sharp 内存显示屏，起因是桌上一堆没处放的零件。灵感来自 Beepy 和 Playdate。（Show HN，205 分）

Hackaday 的三件小事 Meta Portal 改成副屏、电视音频管改做收发机、自己做一个血液离心机。硬件圈每周都有这种把垃圾变成仪器的事。

安全 · 隐私

ZCode 把整个工作区加密上传 有人逆向 Z.ai 的编码应用，发现登录状态下它会把工作区打包加密传到阿里云，313MB 的包来自 345MB 的工作区、42,411 个文件，其中 .git 占 86.6%。密钥由服务端下发，私钥只在对方云上，用户自己也解不开。（146 分）

车牌摄像头 Flock 的三连 有人审计出固件里满是漏洞和硬编码凭据；Wired 报道了黑客进到系统内部看到了什么；404media 翻公开记录发现警察填的搜索理由是 LMAO、IDK、hehe，另有一条记录跨 1,558 个城市搜了 19,000 台。（575、135、122 分）

针对知名 Rust 开发者的定向攻击 攻击打的是维护者本人而不是代码仓库。仓库可以 fork，人不行。

Starlink 的信号泄漏威胁射电天文 泄漏落在射电天文最关键的几个频段上。卫星互联网和地面观测的频谱之争又添一条。（143 分）

F-Droid 里有多少是 LLM 写的 作者把 9 月 12 日 F-Droid 的 102 个更新按仓库气质分成三档，然后在前言里承认方法很粗糙，还把 9 到 10 个应用重新归回人类那档。这条值得看的是方法、自我修正，以及它引来的部落式争吵。（145 分）

Wayback Machine 的访问限制说明 互联网档案馆解释了最近的访问变化。当你依赖一个免费存档来查资料，它每次咳嗽都值得留意。（681 分）

冷知识 · 猎奇

Pre-Greek，藏在古希腊语里的失落语言 古希腊语里大约 1000 个词追不到任何印欧语来源，包括 labyrinthos、elaía，以及 Akhilleús、Odysseús、Athênai 这些我们以为天生就是希腊语的名字。希罗多德记下过一句话，说佩拉斯吉人讲的是非希腊语。（105 分）

Usenet Rewind 1981 年至今的新闻组存档，现在已经能搜 10.66 亿条消息，保留了 16,660 天。想找互联网早期的第一手讨论，这里比搜索引擎管用。（136 分）

Project Blinkenlights 2001 年柏林，CCC 给自己做的生日礼物，把一栋楼的窗户变成 18 × 8 像素的单色显示器。后来他们在巴黎做过 26 × 20 的画面，在多伦多把两栋塔楼拼成 96 × 32 的矩阵，2023 年起开始上色。（110 分）

鸽子相机 Julius Neubronner 在 1907 年给鸽子绑上定时相机并申请了专利，用来给自家药房送处方。人类第一次航拍比飞机还早几年，载体是鸟。（Public Domain Review）

蜡马达 靠石蜡受热膨胀做功的电机，没有齿轮没有线圈，安静、便宜、扭矩不小。你家洗碗机的排水阀里可能就有一个。（458 分）

石器时代的绳子、麻线与细线 绳子是最早的复合材料，也是最容易被考古漏掉的东西，因为它烂得干净。这条讲的是怎么把看不见的技术还原出来。（118 分）

Is It Greg? 一个只回答「这是 Greg 吗」的网页。本周技术上最没用、看完最开心的一条。（Show HN，65 分）