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

Python 3.15 的 JIT 重启与 CPython 性能重铸：一门 36 岁的语言开始'认真'了

Python 3.15 beta 1 把搁置已久的 copy-and-patch JIT 重新拉回轨道，与并行推进的 free-threaded（无 GIL）模式、CPython 关键模块的系统化替换工程一起，构成 CPython 36 年历史上最深的一次内部重构。本文拆解 JIT 路线图、free-threaded 落地现实、以及 Python 性能工程组合拳在 2026 年到底意味着什么。

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

美国万亿美元 AI 算力豪赌：电力缺口才是真正的'硬约束'，所有估值模型都得重写

Apricitas Economics 同时甩出两枚信号弹 —— 美国 AI 资本开支已逼近 1 万亿美元，但美国电网在 2026-2030 年缺口至少 80 GW。本文把'算力支出曲线'和'发电增量曲线'真正叠在一张图上，得出一个反共识结论：决定 AI 公司估值上限的，不是 GPU 价格、不是模型能力，而是它们的'电力获取能力'。这条线在主流投行报告里几乎没有被定价。

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

宝宝启蒙教育 App 痛点深度分析：数字、字母、汉字、成语、古诗词，家长到底需要什么？

深度调研中国幼儿启蒙教育市场六大核心痛点，分析洪恩识字、悟空识字、斑马等头部 App 的不足，为育儿博主和独立开发者提供产品机会洞察。

Posted by Jiayun's Blog on Thursday, May 14, 2026 11:30 CST

【好文共赏】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

【好文共赏】curl 之父亲测 Mythos：5 个"确认漏洞"最后只剩 1 个，AI 安全工具的祛魅时刻

Daniel Stenberg 用 17.6 万行 C 代码、188 个历史 CVE 和 20 年维护者经验，把 Anthropic Mythos 的营销叙事拆成可验证的工程数据，让我们看清 2026 年 AI 代码审计的真实位置。

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

【好文共赏】Emacs 化的软件世界：当 AI Agent 让每个人都能写自己的原生应用

Thomas Ptacek 用一篇短文重新定义了 AI 编程时代的软件形态——它不是 Electron 的死亡，而是 Emacs 文化的逃逸：个人化、原生、量身定制，源码不重要，重要的是 prompt。

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

【好文共赏】Needle：把 Gemini 3.1 蒸馏成 26M 参数的工具调用专家，并顺手把 Transformer 里的 FFN 全砍掉

Cactus Compute 用 200B token 训练了一个 26M 参数、无 FFN、encoder-decoder 的 Simple Attention Network，在手机上跑出 1200 tok/s 的工具调用速度，并把 Gemini 3.1 Flash-Lite 的能力压进一个能本地微调的小盒子里。

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