Jiayun's Blog

Thomas Gazagnaire 的 Borealis 项目把 pure-OCaml CCSDS 协议栈送进低地球轨道，附带 ML-DSA-65 后量子 OTAR、OxCaml 把 p99.9 延迟从 29 ns 砍到 9 ns，并把 GC 完全清零。这是 2026 年关于 systems programming 的最重要一篇博客之一。

首次流片成功率跌至 20 年最低，验证成本吞噬 70% 工程预算——形式化验证正在从'锦上添花'变成'生死攸关'。