-
深入解析 XERJ:一个用 45.5 万行 Rust 假装成 Elasticsearch 的代码搜索引擎19 个 crate / 45.5 万行 Rust 装成 Elasticsearch:4.7 万行 ES REST 协议 shim + 13 万行真引擎,内含 tree-sitter 切代码成段落,BM25 + FST + PFOR + HNSW 落盘,返回函数 + file:line 而非整篇。
37 min - 深入解析 ArtCraft:一个 73MB 仓库,把 62 个 AI 模型收进同一个给艺术家的 IDE
storytold/artcraft 是 Tauri 桌面端,双壳共用一套 API 客户端,Rust router 用 5 文件模型装下 62 个 AI 模型,Draft→Request 异步 finalize 解决参考图上传。深度拆解 192 个 Tauri 命令背后的工程取舍。
19 min - 深入解析 BerriAI/litellm:dispatch 字典撬动 100+ LLM 的工业级 AI Gateway
一个 6 万 star 的 Python+Rust 双核 AI 网关,如何在 main.py 里塞下 150+ provider,如何用 Rust 工作空间重写 60+ crate,以及 router 的 15 种策略怎么把『选哪个 deployment』做成一门生意。
33 min - 深入解析 trycua/cua:给 AI agent 一台真电脑的工程栈怎么搭
92 万行 Rust 的 monorepo,6 块组件拼成 computer-use 栈。spacesd 单 port 装 12 个 gRPC + rcdp v2 媒体平面,跨平台 driver 同形异构(15.5 万行 platform 代码),proto COMMENTS lint 强注释。
22 min - 深入解析 DBX:25 MB 怎么塞下 100+ 数据库 + MCP Server + AI Agent
拆解 t8y2/dbx(575K 行 Rust / 24 crate · 25 MB 桌面 + Docker + CLI + 内置 MCP):分层 crate 所有权 + rmcp 0.x 协议栈 + 9 个 CLI Agent + Win7 兼容 vendored 依赖的工业级妥协。
45 min - 深入解析 NVIDIA OpenShell:AI agent 的安全边界为什么必须分三层
拆解 NVIDIA/OpenShell(46MB / 40 个 Rust crates / Apache-2.0 / 0.1.0):Gateway 控制面 + Supervisor 可信决策 + Sandbox 不可信转发的三层架构,Policy Prover 形式化验证策略变更,Agent 永远拿不到真实凭据。
24 min - 深入解析 KCensus:把共识 Fast Path 合成成可解的优化问题
arXiv 2609.31302。EPFL 把 30 年来 hard-code 的 Paxos/EPaxos/SwiftPaxos fast path 统一抽象成 knowledge requirement,用 ILP 在 31 个 AWS 副本里合成出比最强基线还快 16% 的拓扑感知 fast path。
34 min -
深入解析 Forte:首个面向命令式 Rust 的 sensitivity 类型系统arXiv 2609.30254 提出 Forte,首个针对 Rust &mut 原地修改的 sensitivity 类型系统。λ-Forte 演算 + Verus 反证 + Flux 普通库实现,把 OpenDP 109 篇手写稳定性证明变成 checked obligation。
30 min
Back