技术拆解

Stacks：7500 页代数几何巨著译成 1600 万行 Lean，AI agent 干活，内核兜底

Axiom Math 在 2026-11-04 宣布完成整个 Stacks Project（约 7500 页代数几何开源参考书）的 Lean 形式化，自报约 1600 万行代码，号称史上最大的集成可复用形式化数学库。AI agent 集群并行完成陈述翻译与证明构造，永久 tag 映射和多 agent 审计保证对原文的忠实性，Lean 4 内核负责最终验证。

技术拆解 041｜FlashProve：Claude 写代码、Lean 兜底的零知识证明

FlashProve 用零知识证明验证回话的确是你选的模型：Claude 写代码，Lean 形式化证明兜底。

技术拆解 040｜Stringman：$795 的房间尺度缆索机器人，和执行器数量的逆向工程

Neufangled Robotics 的 Stringman 用 4 个电机和天花板缆索覆盖整个房间：795 美元、平均负载 1.9kg，本文拆解它的机械经济学、软件形态与开源姿态。

dsh-superagent：代理写出来的超级代理研究样本

代理写出来的代理：DeepSeek Harness 团队开源的研究原型 dsh-superagent 三天拿到 13k 星。授权铁律写在架构层、prompt injection 防线不靠提示词、九篇编号文档从哲学到 cookbook——六段式拆解与冷静评价。

nibnib：为 6 个时钟周期设计的 4bpp 图像格式

nibnib 是 Raph Levien 发布的 4bpp 图像格式：调色板存增量、一字节解两像素，解码内循环只要一行乘加，为每像素约 6 个时钟周期的 RP2350 DVI 输出设计；编码侧故意不对称。本机实测 4.043 bpp、对 RGB565 约 3.96 倍、PSNR 约 36.5 dB（自测口径，非官方统计）。

Project Suncatcher：Google 太空 AI 数据中心的第一次“hello world”

Google 的太空 AI 计算原型卫星 10 月 30 日首次在轨用 Gemma 4 生成回应并成功下行地面站，验证了加固 TPU 在发射振动、辐射与真空环境中的存活与联网能力。从单星原型到太空数据中心，中间还隔着热管理、激光链路、编队维持与碎片监管。

技术拆解 036｜Nesformer：把 NES 塞进 Qwen 权重

技术拆解第36期：Nesformer把NES游戏机的CPU、RAM和ROM编译进Qwen3.5权重，用模型前向传播模拟6502 CPU，无需训练即可运行马里奥。

技术拆解 035｜Ropes & Gray 用 AI 做交易尽调：律所自研 agent 到底改了什么

OpenAI 披露律所 Ropes & Gray 基于 Astra for Law 自研交易尽调 agent：issue 级尽调报告从数周压缩到数小时，但全部数据出自官方，尚无独立第三方验证。

技术拆解 034｜DAYJOB: Tax：AI 代理做专业税务还差多远

税务工作长期是高度依赖人工专业判断的领域。从个人报税到企业并购，从跨境交易到遗产信托，每一个案子都涉及大量非结构化文件、

Patch the Planet：当 AI 代理发现关键漏洞时的全球协同响应

PHP 是支撑全球海量 Web 应用的开源脚本语言，从内容管理系统到电商平台，再到大量中小型业务的后端，都有它的身影。这

OpenAI 数学仓库：AI 证明、Lean 形式化与 4000 道题

2026 年 10 月，OpenAI 在 GitHub 上公开了 `openai/math` 仓库。仓库里不是训练代码，

Hurston-1：会说美国南方口音与非洲裔英语的开源 TTS

TTS（文本转语音）模型的评测与演示，长期围着标准美音、标准英音转。但真实世界里的口音远比这复杂。客服、呼叫中心、自动通

OpenAI 牵头披露 PHP 关键漏洞：Patch the Planet 的 AI 安全响应机制

PHP 是支撑全球大量网站和 Web 应用的开源编程语言。从 WordPress 到 Laravel，从中小企业官网到大

huashu-motion：让 coding agent 一键生成商业级产品宣传片

huashu-motion 是 GitHub 上一个刚出现不久的开源 skill，仓库地址为 github.com/al

技术拆解 029｜NVIDIA OpenShell：给 AI Agent 的安全运行时

Headroom：给 AI agent 做上下文压缩的中间件

10 月 22 日，headroomlabs-ai/headroom 在 GitHub 上约 7.7 万★、forks

技术拆解 034｜DeepSeek 开源生产推理框架 DeepInfer

DeepSeek 开源生产推理框架 DeepInfer，高热度的背后是一次代码 dump 还是可复用的工程参考？

handwired：把 JS 代码硬写成神经网络

handwired 把普通 JavaScript 代码编译成可微分的神经网络，无需训练即可执行。本文拆解其机制、工程成色与边界。

handwired：把普通 JS 代码变成神经网络，4 天 1730 星

开发者 chenglou 的 handwired 把普通 JavaScript 代码变换成矩阵乘法加 reglu 的神经网络：免训练、精确、全可微，4 天冲到 1730 星。本文按六段拆它的身份、机制、工程成色与局限。

git-ai 两天千星：开源复刻 Anthropic 的 Scion

Anthropic 10-13 公开内部版本控制系统 Scion 的设计博客，两天后开发者 feder-cr 创建开源复刻 git-ai：底座是 GitLab Gitaly fork，新增约 7.5 万行 graft 子系统，MIT 许可，两天冲上约 1000 星。本文按六段拆它的身份、架构、验证与判断。

技术拆解 026｜esp32-iphone-agent：7 美元 ESP32 让 AI 操作真 iPhone

不越狱、不用电脑、不用开发者账号：一块约 7 美元的 ESP32-S3 当眼睛和手，AI 大脑跑在同一部 iPhone 的 app 里。四天 2418 星，MIT 许可。本文拆解其硬件桥接架构、BLE 协议与三重校准回路，以及它暴露的 AssistiveTouch 攻击面。

技术拆解 025｜pg_vectorsearch：Timescale 官方向量检索新索引，1 亿向量 6 毫秒

Timescale（Tiger Data）开源 PostgreSQL ANN 扩展 pg_vectorsearch，自研 PRISM 分区索引+RaBitQ 量化。官方口径 1 亿向量 95% recall P50 6ms、内存约为 HNSW 四分之一；README 明写仅供测试勿上生产。

技术拆解 024｜oss-scanner：Anthropic 官方漏洞扫描仓，5 天 960 星，里面却没有一行扫描器代码

anthropics/oss-scanner 建仓 5 天超 960 星、76 个重量级开源项目注册（openssl/cpython/grafana…）。它不是扫描器代码，而是注册表+配置协议+自检工具：扫描器留在 Anthropic 服务侧。六段式拆解这个 AI 安全基建新形态。

技术拆解 023｜anatomy：5 天 6300 星的 agent 技能包，把「讲清楚」做成一台可交互的机器

wheresryan22/anatomy 建仓 5 天拿下 6300 星：173 行 SKILL.md 规范 + 等距渲染工具箱 + 八个范本，让 Claude Code/Codex 等 agent 把概念讲解做成可交互等距机器插画。这篇按六段式拆解：agent skill 正在成为新的分发单元。

技术拆解 022｜wordcraft：一个人加一群 agent，五天「重造」了一个 Word

storytold/wordcraft 五天 6000+ 星：纯 Rust 净室重实现 Microsoft Word，主力贡献者三天提交 57,353 行代码，路线图工时用「Opus 5.5 agent 墙钟时间」计价。拆它的四件套工程机制与自报数字的落差。

技术拆解 021｜iPhone-use：让 Codex 通过 USB 操作真实 iPhone，四天 1719 星

让 Codex 通过 USB 操作真实 iPhone 的 MCP 插件拆解：WDA 通道、17+2 工具面、截图回退双模定位、输入与提交分开的安全边界。agent 操作真机的工程样板。

技术拆解 020｜ARTEX：渗透测试搬进 agent 工作流，备份仓库一天 721 星

AI 自主渗透测试系统 ARTEX 的仓库拆解：事件驱动 Planner、双图黑板、拦截审批（DELETE 方法加删除类接口路径 deny 规则）、SHA-256 证据链。百度攻防挑战赛冠军项目（据项目自述），本地隔离环境限定。

技术拆解 019｜openai/math：OpenAI 一次性开源 722 份 AI 数学手稿的仓库拆解

10 月 6 日 OpenAI 公开 math 仓库：722 份手稿、372 个结果族、Lean 形式化库 12 万文件、3.1GB。本文拆解仓库结构、Comparator 验证流程与边界——准黎曼假设 7/8 是推进不是破纪录。

mini-AGI：一张 8GB 显卡从头训练的持续学习字节级语言模型

2026 年 9 月 21 日，volotat 的 mini-AGI 登上 Show HN（255 支持票）：一个从头训练、永不冻结的字节级语言模型，权重存在磁盘里按需分页进显存，参数量上限由磁盘而非显存决定。这篇拆六件事：是什么、为什么值得看、PonderNet 自适应深度与 top-8 专家路由的机制、318.1M 字符读到 1.2026 bits/byte 的数字与边界、RTX 3070 就能跑的上手门槛、研究样本价值与生产力价值分开的判断。作者明言这是 toy-level 实验，权重尚未发布。

技术拆解 016｜jianying-headless：让程序替你开剪映——不写死成片，直接生成本地工程草稿

2026-09-15 出现在 GitHub 的 jianying-headless 一周拿到 1972 星：它不用 FFmpeg 写死成片，而是把 JSON 剪辑计划编译成剪映专业版能打开、能继续改、能用本机引擎导出的工程草稿。这篇拆六件事：是什么、为什么火、哈希校验桥接的架构洁癖、五条硬门槛、六条自列局限、适合谁。许可证是个人学习与非商业使用，商用需作者书面授权。

技术拆解 015｜Jev：不会聊天的模型，和围绕它的两种赌注

Jev 是 TypeSafe AI 9 月 15 日发布的模型：transformer 架构但不生成任何文本，只回三种类型化答案加校准概率。官方宣称快 193.6 倍、便宜 444.6 倍均为自测，第三方实测约 5-18 倍。这篇拆解机制、读法、四天接入生态和四条上手路径。

729★ 的「去 AI 味神器」实锤投毒：main.py 里藏着 C2 地址

GitHub 上三天拿到 729 星的 text-humanizer 被静态拆解实锤为供应链投毒样本：README 承诺的翻译改写流水线根本跑不起来，真正生效的是 main.py 第 12 行 import 即执行的加密载荷——连接硬编码 C2 服务器，只感染 Windows，第二阶段模块内存执行不落盘。全程静态分析，未运行任何样本代码。

fast-jev-compaction 拆解：让 Claude Code 的压缩放弃写摘要

Claude Code 的上下文压缩默认写摘要，这个两天 3206 星的插件偏偏只做删除。25 个文件约 1850 行 TypeScript：两道 noul 是非题、0.5 阈值，把每个工具调用的「留还是删」交给概率模型表决。

OpenResearch 拆解：把 Claude Code 变成科研 agent 的本地优先工作区

alphaXiv/OpenResearch 用 4941 个 star 证明了「科研流水线的 git 化」：实验树、playbook 注入与 12 个科研技能模块，把编码 agent 改造成科研 agent。

技术拆解 011｜OpenCodeReview：阿里开源混合架构代码评审工具——一半工程硬约束，一半 Agent 动态决策

技术拆解011：阿里开源 open-code-review 单日涨 3,231 星。确定性工程锁死「绝不能错」的环节，Agent 只做动态决策：selectFiles 纯函数、文件打包双阀门、评论定位两级重试拆到源码行号，token 只要通用 agent 的 1/9。

技术拆解 010｜Java 27：三个新特性贴源码拆解——64 位对象头、原始类型模式匹配、结构化并发

多数 JDK 27 报道停在新闻稿。这篇直接贴源码：markWord.hpp 怎么把对象头从 96 bits 压到 64 bits，javac 怎么给 instanceof int 降译，StructuredTaskScope 的默认策略是什么。三个新特性，一路拆到源码行号。

技术拆解 009｜RLT：给 Transformer 接一条时间回路，潜变量推理与「无限时间深度」的真面目

技术拆解009：Recurrent Looped Transformer（RLT）用跨token循环的潜变量状态换取「无限时间深度」——48层encoder全局记忆加48层decoder滑动窗口反馈，训练与推理共用一套执行语义。三天约743星，买的是想法还是工程？

Kiro Crew：把 AI 编程从一次性对话变成驻留的同事

技术拆解008：Kiro Crew 源码级拆解——五类记忆存储、Cron/心跳/自动提醒三条闹钟、跨会话执行交接与技能三级沉淀，3,891 star 背后的真实规模与选型边界。

vLLM 的 PagedAttention：显存管理如何撑起大模型推理

技术拆解007：KV cache 分页、块表、前缀哈希链与 V1 调度器源码级拆解，2-4×吞吐口径辨析、SGLang 选型对比与六步自建方案。

TimesFM 3.0：Google 把时间序列预测「LLM 化」之后

技术拆解006：Stacked Mixing Transformer、RevIN 与 CPM 源码级架构拆解，三条冷水、落地路径与自建方案。

OmniRoute：一个端点接三百多家AI提供商，开源网关把「免费层」变成基础设施

技术拆解005：19 种路由策略、四层回退、多引擎压缩，与 OpenRouter 对比及自建方案。

技术拆解 003｜ECC：25 万 star 的“AI 编程操作系统“，把纪律装进 agent

永亮谈 AI 时代的职场与技术实话。

技术拆解 002｜hyperframes：写 HTML 就能出视频，HeyGen 把视频渲染开源了

永亮谈 AI 时代的职场与技术实话。

技术拆解 001｜ponytail：让 AI 少写一半代码的“懒惰资深开发者“

永亮谈 AI 时代的职场与技术实话。