跳到主要内容

最近整理了什么

从这里回到最近修订的解释、实用指南与实验说明。随笔按原始发表日期另行排列。

浏览随笔

笔记修订

日期表示笔记修订时间，不代表每一条主张都重新核验过。这里列出的是文章当前版本，不是逐次改动日志。

  1. 推测解码：草稿、验证与实际加速

    用概率校正与耗时算例理解推测解码，比较链、树和自推测，并检查 KV 状态与实际吞吐收益。

  2. 向量索引：精确搜索、HNSW 与 IVF

    从距离度量和精确基线出发，理解 HNSW、IVF 怎样减少比较，并用近邻召回率衡量代价。

  3. 平衡搜索树与有序查询

    从查询、旋转和后继替换理解二叉搜索树，再用红黑不变量约束高度并比较有序容器。

  4. 图的存储：边列表、邻接表与邻接矩阵

    用同一张小图比较三种表示的空间与操作成本，处理重复边、自环和孤立顶点，并选择适合算法的存储方式。

  5. 哈希表：碰撞、装载率与扩容

    用一次包含删除和重建的碰撞追踪，理解哈希表的键约束、存储方式与期望及摊销成本。

  6. 追踪一次网络请求：DNS、连接、TLS 与 HTTP

    从域名解析到 HTTP 响应，理解地址、端口、证书、代理和 localhost，并按失败层定位问题。

  7. 进程、地址空间与内存

    从程序的运行与退出，到分页和资源继承，理解进程怎样使用内存，以及进程、容器与虚拟机的边界有何不同。

  8. 关系型数据、SQL 与事务

    用订单与库存实例理解表、键、连接、NULL、约束、索引，以及并发事务和外部副作用的边界。

  9. Python 并发与 Asyncio：任务归属、等待和取消

    选择协程、线程或进程，理解协作调度与共享状态，并用有界队列处理超时和失败。

  10. 约束最优性与对偶证书

    用一个二维二次规划算出最优点、活跃约束和乘子，逐项验证 KKT，并用原始–对偶间隙证明最优性。

  11. 计数与组合证明

    从明确计数对象出发，用双射、双重计数、容斥和鸽巢原理求解有限问题，并判断搜索与输出的成本。

  12. 信道容量：噪声中能传多少信息

    从条件分布和互信息推导二元信道容量，算清重复码的误差与速率，并理解编码定理和高斯信道公式的适用条件。