Jiayun's Blog

探索与分享

【好文共赏】OCaml 第一次飞上轨道:Tarides 把 12 年 unikernel 研究塞进 5 MB 卫星载荷

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

Copy Fail 与后量子 IPsec:内核态信任根的双向时间旅行

同一周里,CISA 在为 30 年前的 Linux 内核内存安全漏洞 救火,Cloudflare 把后量子 IPsec 推到 GA。基础设施信任根正在两个时间方向上同时撕裂。