Jiayun's Blog

探索与分享

PolitePaxos 与 SysMoBench：分布式共识的'第三波'，与 AI 写形式化模型的真实水平

Murat Demirbas 团队连续推出 PolitePaxos（让 proposer 礼貌地'问一下'就能达成共识的新变体）和 SysMoBench（评测 AI 在真实分布式系统形式化建模上的能力）。把这两件事放在一起读，是 2026 年分布式系统研究最有信息量的一个组合 —— 共识算法 25 年后再次迭代，而 AI 在'形式化系统建模'这条最严苛赛道上才刚刚及格。

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

DeepMind Decoupled DiLoCo：把'同步'从分布式训练里剥离出来，AI 大模型预训练的容错革命

DeepMind 4 月 22 日发布 Decoupled DiLoCo，把通信和计算彻底解耦，让数据中心级 LLM 训练可以容忍单节点故障、跨数据中心异步训练。本文拆解架构、与传统 DDP/FSDP 的差距、对'万亿参数民主化训练'的真实意义。

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

AI Agent 正在压垮整个开发者基础设施：从 GitHub 故障到 'Be Right' 时代

GitHub 多小时降级背后，是 AI Coding Agent 把版本控制系统当成 RPC 后端的结构性挤压。下一个倒下的会是 npm、PyPI 还是 Hugging Face？

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