Tags: #open-source

openai/math 不是代码库,是一个内部数学研究模型产出的 719 篇论文 + 300 个 Lean 形式化 + 2026-10-07 的真实撤稿事件。从 17 学科 / 372 家族 / 4 阶段流水线 / 形式化率 42% 这套组织学里,能读出 AI 时代学术仓库的标准做法。

EpicGames 公开的 native 调试器(34MB / 26.5 万行 C):raddbg + RDI 自研格式 + RAD Linker。eval2 C 表达式求值、metagen+mdesk 表驱动、@embed_file 内嵌字体。

92 万行 Rust 的 monorepo,6 块组件拼成 computer-use 栈。spacesd 单 port 装 12 个 gRPC + rcdp v2 媒体平面,跨平台 driver 同形异构(15.5 万行 platform 代码),proto COMMENTS lint 强注释。

115K 行 Go 写的现代 Web 服务器,把 Caddyfile 编译成 JSON 时做了哪些事。Lexer / Parser / Adapter 三阶段适配,route 中间件双向流,reverse_proxy 2252 行 handler,Admin API 热重载近乎零掉线。

283M / 8194 py 的 sentry 主干分支,事件 ingest 链路 5 段泳道 + Hybrid Cloud 双 silo + outbox + Taskbroker,看 sentry 怎么把 24.x 之后的数据驻地改造做实。