Blog

本文提出 NosRacer,一个工业级 NOS 的 race condition 动态分析框架。两阶段设计:concentration 缩范围(三维度 90% 缩减)+ perturbation 构造反序证据。5 组件检出 21 个 confirmed bug,精度 66%,开销 < 10%,CI 跑 3 个月。

一个 6 万 star 的 Python+Rust 双核 AI 网关,如何在 main.py 里塞下 150+ provider,如何用 Rust 工作空间重写 60+ crate,以及 router 的 15 种策略怎么把『选哪个 deployment』做成一门生意。

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

[论文解读] arXiv:1304.5356:IceCube 在 615.9 天里观测到 2 个 ~1 PeV cascade 事件,大气背景期望 0.082 ± 0.082,显著性 2.8σ。看 86 strings / 5160 DOMs / NPE 阈值 + 方向 cut 怎么把大气 μ 背景压到边缘。

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

[论文解读] arXiv:2405.08063 (Singh):Sen 的超 SFT action 作 G-twisted L∞-superalgebra,用 tensor coalgebra + HPL 推 Wilsonian 有效 action。

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 之后的数据驻地改造做实。