Rust
Blender 的 UI 抽成库后：跑同一份 gpui 代码，首帧快 5 倍
同一份 gpui 源码，编译三次：BUI 首帧 40 ms、gpui 231 ms、gpui-fast 226 ms。
Rust
Rust
对 GPUI 的批评：它显得快，是因为 Zed 的界面太简单
GPUI 显得快，是因为 Zed 的界面本来就简单。改一个标签 8.4 毫秒，改成相同的值也一样——成本跟着树走，不跟着变化走。
AI 编程
AI 写的代码不用逐行读：微软 PDD Kit 用证明替代评审
计划本该是 agent 必须遵守的契约，却没什么强制它遵守。PDD Kit 先把意图谈成可读规格，再让机器证明代码对每个输入都满足它，证不到的地方退回测试。
microVM
1–2 毫秒起的 microVM：Hyperlight 0.18 换掉主机通信层
一个 microVM 起起来只要 1–2 毫秒，因为它根本不启动内核。0.18 把主机通信换成环形缓冲，为异步 RPC 和 WASI 0.3 铺路。