- 深入解析 Vosti:如何把 LLM 推理确定性写成可形式化验证的数学保证
拆解 arXiv 2609.38981(Duke,2026-09-30,Vosti):Verus 归纳 + Triton kernel verifier (Z3) 把 batch / chunked prefill / prefix 复用 4 类 logit 变化做成端到端形式化保证。
47 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 - 深入解析 CS341 Coursebook:UIUC 系统编程的「C 语言心智模型」全拆解
拆解 cs341-illinois/coursebook(15MB / 16 章 / 7774 行 LaTeX):从 C 内存模型到 fork/exec/信号,把整本教材里串起来的那条「心智主线」拎出来当学习笔记写。
49 min - 深入解析 rakyll/hey:用 700 行 Go 写一个值得读三遍的 HTTP 负载生成器
拆解 rakyll/hey(17k Star / 320KB / 5 个 Go 文件):httptrace.ClientTrace 把一次 HTTP 切成 5 段时间,C 个 worker + 1 个 reporter 的并发拓扑,text/template 的极简输出格式。
27 min - 深入解析 PageIndex:为什么「相似度」不等于「相关性」
拆解 VectifyAI/PageIndex(12000 行 Python):文档树 cost model(S(v)/R(v)/tree_cost(v)) + Index-Reasoning 两阶段 + MCP 契约。FinanceBench 98.7% vs 向量 RAG 50%。把树当 AlphaGo 玩。
27 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 - 深入解析 PAtteRNS:卫星影像农田分割论文里被忽视的硬问题
拆解 arXiv 2609.38165(Metcalfe / Sharifzadeh / Caraffini,2026-09-29):PAtteRNS 把 self-attention 拆成 temporal/spectral/spatial 三路并行,论文真正核心是数据集问题比模型问题更重要。
22 min - 深入解析 VoiceStudio:12+ TTS 引擎怎么在同一进程里和平共处
拆解 debpalash/VoiceStudio(121MB / 49k Star / AGPL-3.0):host-aware 路由 + no-silent-fallback contract + SubprocessBackend sidecar 隔离,让 12 个 TTS 引擎各跑各的 venv。
23 min
Back
Blog
Page 4 - Showing 8 of 108 posts
View all posts by years →