Little定律 从在途面积到吞吐与响应时间的口径
用四个请求的完整时间线推导在途面积恒等式与Little定律，手算队列和服务拆分，解释有限窗口边界、完成口径、均值与尾延迟，并区分测量关系和容量因果模型。
约 10 分钟2 张图示
HOW SYSTEMS WORK阅读全文
EDITOR'S PICK · 本期精选
AI 工程RAG 回归评测 从逐题对比到发布门槛
在同一批问题上比较基线与候选，拆开总体与分组通过率、关键题退步和延迟门槛，附纯 Python 实验及输入校验。
开始阅读 约 7 分钟 · 1 组代码示例
READING PATHS
全部阅读路径 选一条路，慢慢深入
MORE TO EXPLORE
分类地图 从一个小问题，走向更多领域
THE JOURNAL
150 篇积累 · 持续更新最近写下的
贝叶斯更新 从基率和似然比到重复证据的边界
用一万件合成物品的筛查表推导贝叶斯公式与赔率更新，比较基率、正负证据和两次观察，说明条件独立、重复计数、零概率及概率到行动的边界。
约 10 分钟2 张图示
DATA NOTEBOOK阅读全文
辐射换热 从绝对温度到等效系数与线性化边界
从灰表面与等温黑体环境的能量账本推导净辐射、精确等效系数和平均温度近似误差，手算400K表面的换热，并区分空气温度、辐射环境与冷却时间常数。
约 10 分钟2 张图示
MATERIALS NOTES阅读全文
反例笔记 从绝对断言到可核对的适用条件
把一句结论拆成对象范围、前提和量词，用零相关却不独立、提交可读却未合并及有限测试三个案例练习真正的反例，给出完整核算、条件修订和可复用的核对卡。
约 10 分钟2 张图示
KNOWLEDGE GARDEN阅读全文
Git worktree 从多工作区到分支占用与审查隔离
用可复现的PowerShell实验区分worktree独立的HEAD索引与文件、共享的对象与分支，核对分支占用拒绝、脱离HEAD审查、配置和依赖边界，避免把多目录当成独立仓库。
约 10 分钟4 组代码2 张图示
DEVELOPER DESK阅读全文
在线协方差 从成对记录到相关系数与分块合并
从成对观测推导在线中心积更新和分块合并，手算协方差与Pearson相关系数，解释块内负相关却合并为正的原因，提供完整标准库实现与独立两遍参考验证。
约 9 分钟1 组代码2 张图示
DATA NOTEBOOK阅读全文
HTTP 断点续传 从字节范围到版本验证
从十字节表示手算闭区间、开放区间与后缀范围，辨别200、206、304与416，说明If-Range强验证、内容编码和分片拼接条件，附编号协议示例与下载核对单。
约 9 分钟2 张图示
HOW SYSTEMS WORK阅读全文
集总热容 从冷却时间常数到 Biot 数
从能量守恒推导集总热容模型与指数冷却，手算时间常数、目标温度和累计散热，辨别Biot数与Fourier数，用分段环境和误用反例说明单温度近似的边界。
约 9 分钟2 张图示
MATERIALS NOTES阅读全文
Welford 在线方差 从中心矩到分块合并
从平方和相减的抵消问题推导Welford中心矩更新与分块合并，手算四条记录，区分样本和总体方差，提供标准库实现并说明浮点精度、重复合并及滑动窗口边界。
约 9 分钟1 组代码2 张图示
DATA NOTEBOOK阅读全文
令牌桶限流 从补充速率到突发预算
用整数毫秒和毫令牌实现可手算的令牌桶，推导容量加速率乘时间的预算界，解释突发、拒绝、等待估计与并发控制的区别，提供完整标准库代码和事件时间线。
约 8 分钟1 组代码2 张图示
HOW SYSTEMS WORK阅读全文