Jiayun's Blog

探索与分享

【好文共赏】当 part 数从 30k 涨到 160k：Cloudflare 用三个补丁，把 ClickHouse 查询规划器从一把互斥锁里救出来

Cloudflare 工程师 James Morrison 和 Christian Endres 写了一篇教科书级的 OLAP 性能调优实录：账单流水线突然变慢，I/O、内存、行数都正常，flame graph 从 CPU 切到 Real 才暴露真凶——MergeTreeData 的一把独占互斥锁。从 shared_lock 到 deferred copy 再到 binary search，三步上游 PR，把 8x 加速带回 ClickHouse 社区。

Posted by Jiayun's Blog on Monday, May 18, 2026 00:00 UTC

【好文共赏】第三个难题：Roman Kashitsyn 把"树映射"提升为继命名与缓存失效之后的计算机科学第三难

mmapped.blog 的 Roman Kashitsyn 写了一篇横跨文件系统、写作、城市规划、生物分类与 Rust 借用检查器的元论文，把"把一个图嵌入到一棵树"这件每天都在悄悄折磨我们的事——命名为 tree mapping，与 Phil Karlton 的命名和缓存失效并列，封为第三个 hard problem。

Posted by Jiayun's Blog on Monday, May 18, 2026 00:00 UTC

【好文共赏】禁欲计算：Dave Gauer 把 Thoreau、Flaubert、OpenBSD 拼在同一张配置文件里——"为了禁欲，我选择不要这一行"

ratfactor 写了一篇 5000 字的长文，从 'I opted to do without this for ascetic reasons' 这条注释出发，把计算实践重新拆成三条原则：道德、FOMO、闪亮物。这是一份反 minimalism、亲 maximalism 的禁欲手册。

Posted by Jiayun's Blog on Monday, May 18, 2026 00:00 UTC

【好文共赏】浏览器源码里那张藏起来的"大客户名单"：Den Odell 把 Quirks.cpp 摊开，发现整个 Web 标准其实只是 Chrome 的脚注

Safari 在源码里硬编码了 149 个域名，Firefox 维护着 372 份 site intervention JSON——Chrome 没有这个文件夹。Canva Staff Engineer Den Odell 通过两份公开仓库的源码考古，把'Chrome 即标准'这个时代特征写成了一份证据档案。

Posted by Jiayun's Blog on Monday, May 18, 2026 00:00 UTC

【好文共赏】2 小时审计、5 行代码：Project Zero 在 Pixel 10 VPU 驱动里挖出一个"圣杯级"内核漏洞

Seth Jenkins 与 Jann Horn 把 Dolby UDC 0-click 移植到 Pixel 10，又在 Tensor G5 的 /dev/vpu 里抓到一行没写边界检查的 remap_pfn_range——5 行代码、不到一天就拿到任意内核读写。本文是这条最新攻击链的深度导读。

Posted by Jiayun's Blog on Friday, May 15, 2026 00:00 UTC

【好文共赏】262,715 个正则问题里藏着的算法债：一位 PhD 用 859,351,734 次浏览量证明 lookahead 不是 AND

Ian Erik Varatalu 把 106 GB 的 Stack Overflow 数据集翻出来，对 262,715 个 regex 标签问题做了一次定量考古，然后用他自己的 RE# 引擎一组组打回去：tempered greedy token 比真正的补集慢 152x，密码校验的链式 lookahead 比真正的交集慢 17x，Java 的可变长 lookbehind 在 58 KB 输入上要跑 6.87 秒。这不是又一篇 RIIR，而是一篇用 60 年前 Brzozowski 微分理论 + 当代符号自动机重构整个 regex 抽象的研究笔记。

Posted by Jiayun's Blog on Friday, May 15, 2026 00:00 UTC

【好文共赏】8.2 万亿种可能里只剩 284 种：tmctmt 一次失眠夜把 Mullvad 用户重新指纹化

一位匿名研究者用 3650 个 WireGuard 密钥跑了一夜，证明 Mullvad 看似海量的出口 IP 组合其实只是 RNG 的一个浮点数尾巴——一篇可以让 Mullvad 联合 CEO 在 4 小时内出来道歉的、教科书级的副作用驱动安全研究。

Posted by Jiayun's Blog on Friday, May 15, 2026 00:00 UTC

【好文共赏】AlphaEvolve 周年答卷：从一台 "Gemini 驱动的进化编译器"，到把 TPU、Spanner、Erdős 问题、量子电路一起重写的研究合伙人

DeepMind 在 2026-05-07 公开了 AlphaEvolve 一年间的真实战绩——DeepConsensus 变异检出错误下降 30%、量子电路误差降 10×、TPU 直接吃下它生成的电路、Spanner 写放大降 20%、Klarna 训练加速 2 倍、Schrödinger 推理加速 4 倍，外加帮 Terence Tao 解决 Erdős 第 1026 号问题。本文是这条"AI 重新定义算法发现"故事的完整深读。

Posted by Jiayun's Blog on Friday, May 15, 2026 00:00 UTC

【好文共赏】antirez 一周写出 DS4：当 Redis 之父把 GPT 5.5 当结对程序员，把 DeepSeek v4 Flash 装进 128GB MacBook

Salvatore Sanfilippo 在五月中旬扔出 DwarfStar 4——一个只为 DeepSeek v4 Flash 写的本地推理引擎，七天 8.8k stars。他在 antirez.com/news/165 用一篇短文说清楚了：这一次不是又一个 GGUF runner，而是把 KV cache 当成一等磁盘公民、用 2/8 bit 不对称量化把 284B MoE 塞进 128GB Mac、用 GPT 5.5 在一周内把整个 stack 写完的赌注。它真正回答的是：在 GPT 5.5 之后，'本地 AI 主权' 还剩多少现实可能。

Posted by Jiayun's Blog on Friday, May 15, 2026 00:00 UTC

【好文共赏】matklad：Conway 定律才是软件架构的母题——rust-analyzer 作者写给"科学码农"的一封建筑学回信

matklad（rust-analyzer / TigerBeetle）回复一位物理学家研究员关于"如何学软件架构"的邮件，把 Conway 定律、TIGER_STYLE、激励结构和 rust-analyzer 的贡献者拓扑拼成一封 1500 字的浓缩教科书。

Posted by Jiayun's Blog on Friday, May 15, 2026 00:00 UTC