引用溯源 从摘录到主张边界与版本影响
在已有知识地图之上，为关键主张记录原始来源、摘录位置、计算和适用范围，用合成材料笔记示范修改前后差异，通过图解和修订单确定版本变化后的复核范围。
约 6 分钟2 张图示
KNOWLEDGE GARDEN阅读全文
EDITOR'S PICK · 本期精选
AI 工程RAG 回归评测 从逐题对比到发布门槛
在同一批问题上比较基线与候选，拆开总体与分组通过率、关键题退步和延迟门槛，附纯 Python 实验及输入校验。
开始阅读 约 7 分钟 · 1 组代码示例
READING PATHS
全部阅读路径 选一条路，慢慢深入
THE JOURNAL
116 篇积累 · 持续更新最近写下的
一级衰减与 Arrhenius 从半衰期到加速老化的边界
从一级衰减微分方程推导半衰期与阈值时间，用两温度合成数据手算表观活化能，再计算分段温度暴露，明确加速老化模型不能直接替代真实器件寿命验证。
约 6 分钟2 张图示
MATERIALS NOTES阅读全文
LRU 缓存 从访问顺序到复用距离与淘汰边界
从逐项加载进入等大小条目的LRU，证明访问顺序不变量与复用距离命中条件，对比FIFO容量异常和扫描污染，附可运行标准库实现及穷举参考实验。
约 6 分钟1 组代码2 张图示
HOW SYSTEMS WORK阅读全文
Git bisect 从判定器到首个坏提交
从已知好坏端点推导线性历史的二分不变量，区分失败、跳过与环境错误，用独立裸仓库运行真实 git bisect，比较唯一定位与跳过引入点后的候选集合。
约 6 分钟1 组代码2 张图示
DEVELOPER DESK阅读全文
布隆过滤器 从位数组到误判概率与精确枚举
从数据库查询前的成员预检进入布隆过滤器，证明只增不删时的单向错误，推导容量近似并用四比特精确模型展示位相关，附稳定哈希标准库实现、误判计数与删除反例。
约 7 分钟1 组代码2 张图示
HOW SYSTEMS WORK阅读全文
多维卡尔曼 从协方差到位置与速度估计
从一维滤波推进到位置速度联合状态，推导转移矩阵、离散随机加速度协方差和位置观测增益，解释速度为何也被修正，附三步手算、Joseph更新与标准库实现。
约 6 分钟1 组代码2 张图示
DATA NOTEBOOK阅读全文
遗传算法入门 从二进制编码到背包搜索
用0-1背包讲清种群、适应度、锦标赛选择、单点交叉、逐位变异与精英保留，附不变量、完整C++17、多种子同评估预算随机基线和精确动态规划参考，不把有限搜索说成全局最优保证。
约 9 分钟1 组代码2 张图示
ALGORITHMS阅读全文
滤波算法入门 从移动平均到一维卡尔曼
对照因果移动平均、指数平滑、中值滤波与一维卡尔曼，推导噪声与延迟的权衡、增益和方差更新，说明窗口启动、缺失观测和模型失配，附原创计算图与标准库实验。
约 9 分钟1 组代码2 张图示
DATA NOTEBOOK阅读全文
多重检验 从最小 p 值到 Holm 校正与家族错误率
从同时比较多个模型的错误发现风险出发，推导 Bonferroni 与 Holm 的家族错误率控制，手算逐步停止和单调调整 p 值，用独立与完全相关的有限网格实验检查假设边界。
约 9 分钟1 组代码2 张图示
DATA NOTEBOOK阅读全文
Dropout 原理 从随机掩码到期望损失与梯度
推导 inverted dropout 的期望、方差与固定掩码梯度，用八种掩码精确枚举线性头的期望平方损失，解释训练与评估差异及不能交换的非线性，附标准库实验。
约 7 分钟1 组代码2 张图示
AI ENGINEERING阅读全文