Brotli 解码器里一个布尔返回值，把 Node.js、Python 和各路 HTTP 服务拖上了同一个补丁期限
DecodeBlockTypeAndLength() 返回的布尔值分不清「数据坏了」和「还要更多输入」，一段构造过的流就能写出缓冲区边界。上游二月就修了，但没人当成安全漏洞，直到这个月各运行时一起发版。
压缩
更多 压缩
首页
纯函数式编程能多接近 C？
用 Roc 编写的 DEFLATE 包在 144 项 Silesia 基准测试中，在 M1 MacBook Pro 上中位数仅比手工调优的 C 慢 2.6%，在 Ryzen 3900X 上慢 8.9%。
Postgres 中什么会被 TOAST
Postgres 19 将 TOAST 压缩从 pglz 切换为 LZ4。LZ4 更快，但不总是更小，而且使用它后某些读取会变慢。
打包二进制其实很有趣
作者用自制的二进制 schema 语言 jBin 把 JSON 载荷缩小了 80%，并完整实现了词法分析、AST 与代码生成。
像物理学家一样剪枝 LLM：把块删除当成 Ising 优化问题
整块删掉 transformer block 最省事，挑哪些块却是多体问题。Multiverse Computing 把它写成二元优化，用 Ising 的低能态对应高分模型，Llama-3.3-70B 砍半深度仍保住 MMLU 76.9。
用 Lean 写 Zstandard 解压器：当 LLM 把「证明成本」压下来
Adam Langley 用 Lean 写了一个 Zstandard 解压器，把类型级不变量写成类型签名，再让 LLM 去补证明体， 并记下它在哪些步骤上真的省了事。