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 的最重要一篇博客之一。

Posted by Jiayun's Blog on Friday, May 15, 2026 00:00 UTC

【好文共赏】Rust 的边界在哪里：Black Hat Rust 作者 Kerkour 写给所有"想抄 Cloudflare 作业"的团队一封劝退信

Sylvain Kerkour（Black Hat Rust 作者）在 2026 年 5 月发表逆主流长文，论证 Amazon/Cloudflare/Discord 那条 Rust 化路径不适合大多数团队。本文拆解他的 4 类反对论点（async 难、版本腐化、std lib 贫血、生态碎片），整理 5 个真正适合 Rust 的场景，并与本站 io_uring 异步运行时分裂分析、TanStack 供应链事故、Linux kernel copyfail 等旧文交叉对照。

Posted by Jiayun's Blog on Friday, May 15, 2026 00:00 UTC

【好文共赏】Turso 关掉了那扇付费的门：当 LLM 把开源 bug 赏金变成一台无成本造谣机

Glauber Costa 亲笔——一家用 Rust 重写 SQLite 的数据库公司，在 LLM 灌水 PR 把维护者拖垮之后，宣布永久关闭运行了将近一年、只奖励数据损坏类 bug 的 $1000 赏金计划。这是 2026 年第一篇真正意义上承认"AI 把开源协作经济模型打穿了"的官方告别信。

Posted by Jiayun's Blog on Friday, May 15, 2026 00:00 UTC

【好文共赏】把 Swift 推到 1.1 Tflop/s：Matt Gallagher 用十种实现，在 M3 Max 上手写 LLM 训练，把矩阵乘法跑出 382 倍提升

Cocoa with Love 主理人 Matt Gallagher 不用任何框架库，从 plain C 到 Metal，演示 Swift 矩阵乘法十种实现的全栈优化之路：MutableSpan、Relaxed.multiplyAdd、InlineArray、DispatchQueue.concurrentPerform、保密的 AMX 协处理器、Metal tiled kernel——一篇真正具体到汇编指令的 Apple Silicon 性能编年史。

Posted by Jiayun's Blog on Friday, May 15, 2026 00:00 UTC

【好文共赏】给一块运行中的硬盘下断点：Xbox 360 黑客 Ryan Miceli 拆解 4 家 HDD/SSD 固件的反编译手记

Ryan Miceli 为了一个 Xbox 360 read race condition exploit，沿路把 WD、Hitachi、Samsung SSD 全部刷了个遍。一篇 40000 字的硬件逆向手记，告诉你 2026 年单人攻破工业固件的真实代价。

Posted by Jiayun's Blog on Friday, May 15, 2026 00:00 UTC

【好文共赏】用咖啡和 IDA 绕过 Tesla 充电桩 anti-downgrade：Synacktiv 在 ratchet 里找到了一道顺序裂缝

Tesla 给 Wall Connector 加了固件防降级闸门，Synacktiv 用『先合法升级，再擦掉内容，再灌进旧固件』的一句话路径走回了 Pwn2Own 的家门——这是一次教科书级别的状态机推理实验。

Posted by Jiayun's Blog on Friday, May 15, 2026 00:00 UTC

【好文共赏】17 分钟一篇 PhD 章节：Fields 奖得主 Gowers 实测 ChatGPT 5.5 Pro 做加性数论研究

Tim Gowers 详细记录 ChatGPT 5.5 Pro 如何在几次 prompt 里把 Rajagopal 的指数上界改成多项式，并附上被改进者 Isaac 的逐节评估——这是 LLM 走出『拼接已知』、走进『原创结构』的临界证据。

Posted by Jiayun's Blog on Thursday, May 14, 2026 00:00 UTC

【好文共赏】GGUF 不只是权重：一个本地推理引擎作者眼里，单文件模型格式还缺什么

GGUF 把 chat template、特殊 token、sampler 链塞进一个文件，是 llama.cpp 生态最大的 ergonomics 胜利之一。但 NobodyWho 团队从 Rust 引擎实现者的视角，指出它还差四块拼图：tool calling 语法、think token、projection model、feature flag——每一块都揭示了'本地大模型'与'托管 API'之间真正的工程鸿沟。

Posted by Jiayun's Blog on Thursday, May 14, 2026 00:00 UTC

【好文共赏】Google IDE 编年史：从 Jeff Dean 的「不重要」到 Cider V 一统天下的十二年

前 Google 开发者工具老兵 Laurent Le Brun 用一篇 2000 词的回忆，写出了从 2011 年的 IDE 碎片化、到 Cloud IDE Cider 的崛起、再到 VSCode 前端融合，最终在 AI 时代释放杠杆的完整弧线——这是少数能从内部讲述「统一工具创造杠杆」的一手史料。

Posted by Jiayun's Blog on Thursday, May 14, 2026 00:00 UTC

【好文共赏】Quack：DuckDB 在 2026 年从零设计一个数据库 wire 协议，把 PostgreSQL 和 Arrow Flight 都拉出来当背景板

DuckDB 团队用一篇 20 分钟读的文章，把'什么是好的现代数据库客户端协议'的答案写在了纸上：HTTP 为底座、单 round-trip 为信仰、自有 application/duckdb 序列化为前线、auth/authz 全部可换为 SQL macro。然后用 60M 行不到 5 秒、5500 TPS 小写入的 benchmark 把 PostgreSQL 协议和 Arrow Flight SQL 一起压在身下。

Posted by Jiayun's Blog on Thursday, May 14, 2026 00:00 UTC