Jiayun's Blog

探索与分享

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

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

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

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

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

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

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

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

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

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

【好文共赏】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 的能力压进一个能本地微调的小盒子里。

【好文共赏】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 一起压在身下。

【好文共赏】Redis 的野心代价:当一个"远程字典服务器"想成为一切,它就什么都不是了

Charles Leifer 借 antirez 的 Array 类型 PR 切入,沿着 BSD 改 AGPL、RESP3 的二次系统效应、Disque 的早夭、Redis-Raft 被 Jepsen 打穿、再到 Valkey 的反扑,写了一篇站在 2026 年回看 Redis 十五年的总账:让 Redis 当年成功的全部基因,正被它自己的野心一一吃掉。

【好文共赏】TanStack npm 投毒事件官方复盘:三条独立漏洞如何被串成一条供应链刀锋

Tanner Linsley 亲笔的 TanStack 供应链攻击 postmortem——pull_request_target 的 Pwn Request、GitHub Actions 跨信任边界的缓存投毒、与从 Runner 进程内存里抠出 OIDC token 的三段式利用链——是 2026 年最教科书级的供应链事件研究素材。

【好文共赏】WebRTC 是问题本身:一位前 Twitch/Discord SFU 工程师为什么劝你别学 OpenAI 的语音 AI 架构

OpenAI 写了一篇"如何把语音 AI 做到低延迟规模化"的工程博客,把 WebRTC + Pion + 自定义 STUN 转发讲得像模范答案。Media over QUIC 项目主作者 kixelated(Luke Curley)——干过六年 WebRTC SFU——直接把这篇博客标成反面教材:WebRTC 的 45 个 RFC、写死的抖动缓冲、8 次握手 RTT、临时端口大屠杀,每一条都和"语音 AI"这个产品形态正交。