- 深入解析 io_uring:为什么 Linux kernel 历史上第一个独立顶层目录是它
拆解 torvalds/linux/io_uring/(io_uring.c 90KB + 30+ .c):双 ring + mmap + 内存屏障配对,跳过 99% syscall overhead;Jens Axboe 2019 引入,Linux 第一个独立顶层目录的工程心智。
22 min - 深入解析 Hindsight:Agent 记忆不是检索,是会学习的神经系统
拆解 vectorize-io/hindsight 41K Star 仓库:retain/recall/reflect 三段管线、4 路并行召回 + RRF/cross-encoder、observation refine-vs-overwrite、45 pattern Memory Defense。
36 min - AERIS-10:一个人怎么把 10.5 GHz 相控阵雷达做到 GitHub 25k Star
拆解 NawfalMotii79/PLFM_RADAR · 摩洛哥工程师开源的 PLFM 相控阵雷达:PLFM chirp 时序、FPGA 接收链路、跨层 AGC、STM32 上电序列、Python V7 上位机。
26 min - KCensus: 把 consensus fast-path 量化成一个优化问题
拆解 arxiv 2609.31302 / EuroSys '27 / LPD-EPFL/kcensus——recoverability 必要充分定理 + per-proposer knowledge requirement 统一表达所有 fast-path,AWS 21 replicas 平均延迟降低 16%。
19 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 - 深入解析 Env-Rethink:把 LLM Agent 的'脏环境'递归地变成更难的环境
Wu 等 (2026) 提出 27B 后训练模型 Env-Rethink，三件套协同：Collection Map 补上下文、轨迹学习标噪声、Virtual Event 演化环境。SOTA 在脏环境从 83.9% 跌到 57.6%，Env-Rethink 平均 +15.1% rubric pass rate。
17 min -
深入解析 Forte:首个面向命令式 Rust 的 sensitivity 类型系统arXiv 2609.30254 提出 Forte,首个针对 Rust &mut 原地修改的 sensitivity 类型系统。λ-Forte 演算 + Verus 反证 + Flux 普通库实现,把 OpenDP 109 篇手写稳定性证明变成 checked obligation。
30 min - 深入解析 google/ax:当 Agent 变成 Kubernetes 的一等公民
Google 开源 AX：把十亿级 agent 工作负载当作一类新 workload，用声明式 YAML + Redis Streams + Agent Substrate 沙箱跑起来。一篇写给工程师的源码级深度拆解。
27 min
Back
Blog
Page 5 - Showing 8 of 108 posts
View all posts by years →