+− THE DAILY DIFFdev & AI news
The archive / 53

The Daily Diff 视频

报道、解释和事后分析，附带完整的文字记录和主要来源。

postmortem · zh-CN · 2026年9月13日

十一行 JavaScript 代码搞垮了互联网。一次取消发布。

2016年3月22日，世界协调时21:30：一位开发者在npm将包名“kik”交给即时通讯应用Kik后，取消发布了他所有的273个npm包，Kik的专利代理人曾威胁要“让律师上门找你”。这273个包中有一个是left-pad：十一行代码，用于在字符串前面添加空格，每月下载量达250万次。几分钟之内，Babel、React和Node的构建在全球范围内失败，每分钟数百次。十分钟内出现了一个分支，但没有

2:52 ↗
postmortem · zh-CN · 2026年9月12日

一个正则表达式搞垮了 Cloudflare，持续 27 分钟。

2019 年 7 月 2 日，UTC 时间 13:42：Cloudflare Web 应用程序防火墙的一条新规则在大约两秒钟内在全球 180 多个城市生效。这是一条模拟模式下的 XSS 规则，因此它不会阻止任何内容，但它仍然在每个请求上运行，并且以 .*(?:.*=.*) 结尾。PCRE 回溯，每个处理 HTTP 请求的 CPU 核心都达到 100%，每个由 Cloudflare 代理的网站都在

3:00 ↗
postmortem · zh-CN · 2026年9月11日

向8台服务器中的7台部署导致4.6亿美元损失。45分钟。

美国东部时间2012年8月1日上午9:30：骑士资本（Knight Capital），作为美国股票交易量约十分之一的市场做市商，刚刚向其八台SMARS服务器中的七台部署了新的订单路由代码。第八台服务器仍然运行2003年退役的“Power Peg”代码，新功能重用了这个代码背后的标志。在45分钟内，它发送了永不停歇的子订单：400万次执行，3.97亿股，约70亿美元的头寸，造成4.6亿美元的损失。开

2:52 ↗
postmortem · zh-CN · 2026年9月10日

一位工程师删除了GitLab的生产数据库。300 GB。

2017年1月31日，世界标准时间23:27：一位GitLab工程师在熬夜修复一个损坏的副本时，不小心删除了db1而非db2上的PostgreSQL数据目录。db1是主数据库。GitLab.com大约300 GB的数据库在一两秒内消失了，而且五个备份和复制机制都失效了。事后分析：从垃圾邮件高峰到错误主机名的时间线，pg_basebackup为何看似卡住，pg_dump为何一直静默失败（9.2二进制

2:53 ↗
daily · zh-CN · 2026年9月9日

OpenAI 称已解决 Navier–Stokes。判决：NEEDS REVIEW。

OpenAI 表示，一个内部模型，作为约 10,000 个并发代理运行 88 小时，产生了一个 Lean 验证的证明，即 Navier–Stokes 方程在有限时间内爆破——这是一个自 1934 年以来一直开放的千禧年大奖问题。十二小时前，纽约大学的 Tristan Buckmaster 发表了一份四页的声明，描述了他周日与 OpenAI 通话的情况（“你为什么要毁掉你的职业生涯？”），Teren

5:13 ↗
postmortem · zh-CN · 2026年9月9日

AI 删除了生产数据库。九秒。

一个 AI 编程代理（运行 Claude Opus 4.6 的 Cursor）在暂存环境中遇到凭证不匹配，并通过使用它在一个不相关文件中找到的账户范围令牌，在 Railway 上调用 volumeDelete 来“修复”它。生产数据库和所有卷备份在九秒内消失。事后分析：时间线，确切的 curl 命令，导致这种情况发生的三项架构事实（备份在同一卷上，根范围令牌，一个没有仪表板 48 小时撤销功能的

3:23 ↗
daily · zh-CN · 2026年9月8日

Mistral 为主权 AI 筹集了 30 亿欧元。结论：NEEDS REVIEW。

Mistral 以 210 亿欧元的估值筹集了 30 亿欧元——这是欧洲科技公司有史以来最大的一轮股权融资——用于构建“主权”欧洲 AI。本轮融资由三星电子领投，a16z、英伟达和贝莱德均在股东名单上，微软也已租用数据中心。同一天早上：89.6% 的欧洲公司通过 CDN 坐在 Cloudflare 上，博通撤回了 VMware VDDK 下载，有人在台式电脑上分解了 1999 年 CA 的 512

5:25 ↗
daily · zh-CN · 2026年9月7日

威瑞信正在删除22,000个已付费域名。裁决：REVERT。

威瑞信要求ICANN删除所有三级.name域名——大约22,000个，其中一些已付费至2040年——ICANN批准了，在威瑞信填写的一份表格中，威瑞信写道此更改“对域名生命周期没有影响”。我们审阅了尼尔·弗雷泽24年的neil.fraser.name、RSEP文件、父域名被释放时的账户劫持问题，以及这个季度营收4.35亿美元的注册管理机构称之为“效率”的做法。裁决：REVERT。

5:14 ↗
daily · zh-CN · 2026年9月7日

OpenAI 首席科学家呼吁放缓步伐。结论：有待审查。

在 OpenAI 发布 GPT-6 Astra 三天后，以及发布一张显示其“安全暂停”将 85% 的 GPU 转移到其他模型的图表当天，OpenAI 首席科学家 Jakub Pachocki 表示，没有哪个实验室能很好地解决对齐问题，从而以最大速度继续扩展。我们回顾了这篇论文一直提及的 1,200 个代理的 Hugging Face 黑客事件，以及 OpenAI 普通研究员每天 600 美元的代币

5:14 ↗
daily · zh-CN · 2026年9月7日

谷歌刚刚发布了一个黑客模型。以下是差异。

谷歌发布了 Gemini 3.8 Flash（输入每百万 $0.75 / 输出每百万 $3.75，1月1日价格翻倍）和 Gemini 3.8 Flash Cyber——一个漏洞搜寻模型，只卖给 650 家经过审查的“值得信赖的防御者”——四小时后，Meta 发布了 Muse Spark 1.3，其中包含一个每百万 $0.10 的“贡献者”级别，折扣是你的会话记录。我们用两家公司都没有编写的基准测试

5:08 ↗
daily · zh-CN · 2026年9月7日

Claude在11天内证明了费马大定理。评语：SHIP IT。

Claude花费11天，大约60亿个token，编写了1300万行Lean代码来证明费马大定理——这是第一个端到端经过计算机验证的版本——而自2024年以来一直致力于将其形式化的数学家表示，它在数学上“本质上没有告诉我们任何东西”，但无论如何他都感到非常兴奋。同一天：围棋世界排名第一的申真谞在让二子的情况下以2-1击败KataGo。评语：SHIP IT。

5:13 ↗