归档 - 个人成长抓手

让 40 亿参数的模型改写查询计划：数据库优化器正在被重新定义

让 40 亿参数的模型改写查询计划：数据库优化器正在被重新定义

4B 小模型生成的查询计划比 PostgreSQL 默认方案更快：价值不在参数规模，而在调优经验第一次能被复制。

174 行「临时」补丁，被装了近 2000 万次：一个补丁活了十二年才退役

174 行「临时」补丁，被装了近 2000 万次：一个补丁活了十二年才退役

2014 年为一次升级写的兼容补丁，累计安装约 1986 万次，连 Debian 都打包了它，今年 9 月被标记弃用。

签名了却不公布公钥：美国驾照条码里那个「等于没做」的安全功能

签名了却不公布公钥：美国驾照条码里那个「等于没做」的安全功能

加州把验证公钥挂在官网，另外几个州只签不公开。安全研究者直接从真实证件里恢复了公钥。

同一个模型，账单差一倍：编码 Agent 的「外壳税」被算清楚了

同一个模型，账单差一倍：编码 Agent 的「外壳税」被算清楚了

21 组「模型×外壳」实测：成功率差不多，成本最高差 5 倍。默认外壳可能正在悄悄多收你的钱。

GPU 内核开始用 Rust 写：两条轨道背后，是一次把错误提前的迁移

GPU 内核开始用 Rust 写：两条轨道背后，是一次把错误提前的迁移

NVIDIA 发布 CUDA Rust：SIMT 与 Tile 两条轨道，内存安全在编译期保证。现在该不该跟进？

4B 小模型跑赢 Postgres 自带的优化器：能被量出好坏的任务，才适合强化学习

4B 小模型跑赢 Postgres 自带的优化器：能被量出好坏的任务，才适合强化学习

113 条多表连接查询上，4B 模型给出的执行计划几何平均提速 1.81 倍、零回退。作者连测量环境也一起设计了。

云厂商说「恢复不了」：只在本地有副本的数据，是怎么永久消失的

云厂商说「恢复不了」：只在本地有副本的数据，是怎么永久消失的

AWS 承认巴林与阿联酋某可用区的数据无法恢复。云端不等于不会丢，副本放在哪才是关键。

逆向 Factorio 的随机数：游戏里的「随机」其实是一套可审计的工程

逆向 Factorio 的随机数：游戏里的「随机」其实是一套可审计的工程

一个确定性游戏怎么会有随机机制？答案是伪随机数生成器。而一旦算法和状态被看穿，未来就可以被计算。

.NET 11 的性能清单：真正值钱的优化，都不上头条

.NET 11 的性能清单：真正值钱的优化，都不上头条

一整年只做了一件事：让每个操作再快一点点。这份清单里没有银弹，只有几百个 1% 的复利。

三值模型越过 1.58-bit 门槛：省下的那 0.14 bit，为什么值得写一篇论文

三值模型越过 1.58-bit 门槛：省下的那 0.14 bit，为什么值得写一篇论文

论文测了 29 个三值模型，发现零权重占比最高到 51.5%。一个被忽略的分布假设，换来了最高 1.28 倍的内核加速。