科技笔记
共 101 篇文章
同一个模型，账单差一倍：编码 Agent 的「外壳税」被算清楚了
21 组「模型×外壳」实测：成功率差不多，成本最高差 5 倍。默认外壳可能正在悄悄多收你的钱。
GPU 内核开始用 Rust 写：两条轨道背后，是一次把错误提前的迁移
NVIDIA 发布 CUDA Rust：SIMT 与 Tile 两条轨道，内存安全在编译期保证。现在该不该跟进？
4B 小模型跑赢 Postgres 自带的优化器：能被量出好坏的任务，才适合强化学习
113 条多表连接查询上，4B 模型给出的执行计划几何平均提速 1.81 倍、零回退。作者连测量环境也一起设计了。
云厂商说「恢复不了」：只在本地有副本的数据，是怎么永久消失的
AWS 承认巴林与阿联酋某可用区的数据无法恢复。云端不等于不会丢，副本放在哪才是关键。
逆向 Factorio 的随机数：游戏里的「随机」其实是一套可审计的工程
一个确定性游戏怎么会有随机机制？答案是伪随机数生成器。而一旦算法和状态被看穿，未来就可以被计算。
.NET 11 的性能清单：真正值钱的优化，都不上头条
一整年只做了一件事：让每个操作再快一点点。这份清单里没有银弹，只有几百个 1% 的复利。
三值模型越过 1.58-bit 门槛：省下的那 0.14 bit，为什么值得写一篇论文
论文测了 29 个三值模型，发现零权重占比最高到 51.5%。一个被忽略的分布假设，换来了最高 1.28 倍的内核加速。
云厂商说「部分数据恢复不了」：备份从来不是云的默认项
持久性不等于可恢复性。上了云就等于有备份，是中小企业最常见的一次误判。
用一个 4B 小模型改写查询计划：AI 进数据库内核，赢在「可验证」
让模型替 Postgres 挑执行计划，难点不在模型多大，而在奖励怎么设计——设计错了，模型会学会「老老实实交白卷」。
从 CUDA 官方支持 Rust 说起：GPU 编程正在从「一种语言」变成「多种前端」
英伟达给 Rust 补上了 GPU 内核这块最短的木板。真正的变化不是语法，而是内核不再被锁死在 C++ 里。