HTTP 缓存 从新鲜度到条件请求
沿私有缓存的 GET 请求，区分存储、变体选择、新鲜度与条件验证，按 RFC 手算包含传输时间的响应年龄，解释 ETag、304 与缓存指令的作用边界。
约 8 分钟2 张图示
HOW SYSTEMS WORK阅读全文
EDITOR'S PICK · 本期精选
AI 工程RAG 回归评测 从逐题对比到发布门槛
在同一批问题上比较基线与候选，拆开总体与分组通过率、关键题退步和延迟门槛，附纯 Python 实验及输入校验。
开始阅读 约 7 分钟 · 1 组代码示例
READING PATHS
全部阅读路径 选一条路，慢慢深入
THE JOURNAL
122 篇积累 · 持续更新最近写下的
LayerNorm 原理 从特征轴到归一化梯度
从逐 token 的特征轴出发，手算 LayerNorm 前向与完整反向，解释逐特征仿射参数、epsilon、常量行与 padding 边界，附标准库实现和独立数值核验。
约 9 分钟1 组代码2 张图示
AI ENGINEERING阅读全文
圣桑第三交响曲 从两部结构到管风琴的两种角色
沿两大部分中的四种速度功能，比较管风琴的柔和支撑与终场宣告，辨认钢琴闪光、主题变形与合奏层次；附原创聆听图和乐团官方完整演出。
约 5 分钟2 张图示
LISTENING NOTES阅读全文
Codeforces 295B 从逆序加点到 Floyd 的中间点状态
删除顶点会使最短路失效，逆序加点却能逐层扩大允许的中间点集合；从状态不变量证明全端点更新的必要性，附手算、原创图与完整 C++17。
约 5 分钟1 组代码2 张图示
ALGORITHMS阅读全文
柴可夫斯基第四交响曲 从号角中断到拨弦与民歌
从第四交响曲的开篇号角、九八拍摇摆、双簧管长歌、拨弦交接与民歌终曲入手，比较中断与继续的听觉证据，附两张原创图和 WDR 官方完整演出。
约 8 分钟2 张图示
LISTENING NOTES阅读全文
Codeforces 482B 区间 AND 从必要条件到最小构造
把区间 AND 等式拆成逐位的全体为一与至少一个零，用差分构造所有被迫为一的位置，再以零位见证证明无解判定完备；附原创图、手算、C++17 和独立穷举对拍。
约 9 分钟1 组代码2 张图示
ALGORITHMS阅读全文
引用溯源 从摘录到主张边界与版本影响
在已有知识地图之上，为关键主张记录原始来源、摘录位置、计算和适用范围，用合成材料笔记示范修改前后差异，通过图解和修订单确定版本变化后的复核范围。
约 6 分钟2 张图示
KNOWLEDGE GARDEN阅读全文
一级衰减与 Arrhenius 从半衰期到加速老化的边界
从一级衰减微分方程推导半衰期与阈值时间，用两温度合成数据手算表观活化能，再计算分段温度暴露，明确加速老化模型不能直接替代真实器件寿命验证。
约 6 分钟2 张图示
MATERIALS NOTES阅读全文
LRU 缓存 从访问顺序到复用距离与淘汰边界
从逐项加载进入等大小条目的LRU，证明访问顺序不变量与复用距离命中条件，对比FIFO容量异常和扫描污染，附可运行标准库实现及穷举参考实验。
约 7 分钟1 组代码2 张图示
HOW SYSTEMS WORK阅读全文
Git bisect 从判定器到首个坏提交
从已知好坏端点推导线性历史的二分不变量，区分失败、跳过与环境错误，用独立裸仓库运行真实 git bisect，比较唯一定位与跳过引入点后的候选集合。
约 6 分钟1 组代码2 张图示
DEVELOPER DESK阅读全文