归档 - 个人成长抓手

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

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

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

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

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

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

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

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

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

云厂商说「部分数据恢复不了」：备份从来不是云的默认项

云厂商说「部分数据恢复不了」：备份从来不是云的默认项

持久性不等于可恢复性。上了云就等于有备份，是中小企业最常见的一次误判。

用一个 4B 小模型改写查询计划：AI 进数据库内核，赢在「可验证」

用一个 4B 小模型改写查询计划：AI 进数据库内核，赢在「可验证」

让模型替 Postgres 挑执行计划，难点不在模型多大，而在奖励怎么设计——设计错了，模型会学会「老老实实交白卷」。

从 CUDA 官方支持 Rust 说起：GPU 编程正在从「一种语言」变成「多种前端」

从 CUDA 官方支持 Rust 说起：GPU 编程正在从「一种语言」变成「多种前端」

英伟达给 Rust 补上了 GPU 内核这块最短的木板。真正的变化不是语法，而是内核不再被锁死在 C++ 里。

SWE-2 发布：编码模型开始按“每次任务多少钱”来竞争

SWE-2 发布：编码模型开始按“每次任务多少钱”来竞争

Cognition 的 SWE-2 逼近编码模型榜首却便宜 64%，轮次少 58%，竞争焦点转向每次任务的成本。

Rust 成为微软一级语言：从工具链到编译后端的一次完整补齐

Rust 成为微软一级语言：从工具链到编译后端的一次完整补齐

Rust 正式进入微软一级语言行列，与 C++、C# 同等待遇，新编译后端已接入 Windows 原生工具链。

Shopify 放弃 React Native 回归原生：AI 编码改写了技术选型的成本公式

Shopify 放弃 React Native 回归原生：AI 编码改写了技术选型的成本公式

Shopify 把主力 App 从 React Native 拆回双端原生，理由是 AI 让跨栈实现成本大降。

自托管「公司操作系统」：当 AI 智能体走进企业日常

自托管「公司操作系统」：当 AI 智能体走进企业日常

用 Claude Code 与 Codex 搭出可自托管、多租户的「公司操作系统」:AI 智能体开始像部门一样分工协作、常驻后台。