September 2026

All Articles - 301
2026
从零编写操作系统 30 - 综合演示与交付验证
从零编写操作系统 30 - 综合演示与交付验证
Untitled
Untitled
从零编写操作系统 29 - 窗口终端：把用户态 Shell 接进图形界面
从零编写操作系统 29 - 窗口终端：把用户态 Shell 接进图形界面
Untitled
Untitled
计算机网络 27：QUIC 为什么重新实现传输机制，包号、流、恢复、拥塞与迁移
计算机网络 27：QUIC 为什么重新实现传输机制，包号、流、恢复、拥塞与迁移
计算机图形学 26：软件管线怎样映射为着色器
计算机图形学 26：软件管线怎样映射为着色器
分布式系统（26）：Spanner 的时间区间、提交等待与一致快照
分布式系统（26）：Spanner 的时间区间、提交等待与一致快照
分布式系统（25）：分布式事务的决定、补偿与消息边界
分布式系统（25）：分布式事务的决定、补偿与消息边界
计算机网络 26：HTTP/2 的多路复用解决了哪一层阻塞，帧、流、HPACK 与窗口
计算机网络 26：HTTP/2 的多路复用解决了哪一层阻塞，帧、流、HPACK 与窗口
从零编写操作系统 28 - 窗口管理：Z 序、焦点与拖动
从零编写操作系统 28 - 窗口管理：Z 序、焦点与拖动
计算机体系结构 16：缓存基础
计算机体系结构 16：缓存基础
计算机体系结构 17：多级缓存与写入
计算机体系结构 17：多级缓存与写入
计算机体系结构 20：Sv32、TLB 与权限
计算机体系结构 20：Sv32、TLB 与权限
计算机体系结构 18：DRAM 与内存控制器
计算机体系结构 18：DRAM 与内存控制器
计算机体系结构 19：隐藏访存延迟
计算机体系结构 19：隐藏访存延迟
计算机体系结构 21：页故障与映射修改
计算机体系结构 21：页故障与映射修改
计算机体系结构 22：数据布局与实测解释
计算机体系结构 22：数据布局与实测解释
计算机体系结构 23：缓存一致性与所有权转移
计算机体系结构 23：缓存一致性与所有权转移
计算机体系结构 24：内存一致性模型与 Store Buffering
计算机体系结构 24：内存一致性模型与 Store Buffering
计算机体系结构 25：原子操作与同步边界
计算机体系结构 25：原子操作与同步边界
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
从零编写操作系统 27 - 鼠标输入：共享控制器、三字节包与级联中断
从零编写操作系统 27 - 鼠标输入：共享控制器、三字节包与级联中断
Untitled
Untitled
从零编写操作系统 25 - 从字符到像素：接入 Mode 13h
从零编写操作系统 25 - 从字符到像素：接入 Mode 13h
从零编写操作系统 26 - 字体与后备缓冲：从字符网格重绘一帧
从零编写操作系统 26 - 字体与后备缓冲：从字符网格重绘一帧
从零编写操作系统 24 - 管道：让两个进程通过字节流协作
从零编写操作系统 24 - 管道：让两个进程通过字节流协作
从零编写操作系统 23 - 用户态 Shell：从磁盘加载并执行命令
从零编写操作系统 23 - 用户态 Shell：从磁盘加载并执行命令
计算机图形学 25：一次绘制怎样交给 GPU
计算机图形学 25：一次绘制怎样交给 GPU
计算机图形学 24：怎样判断渲染器算对了
计算机图形学 24：怎样判断渲染器算对了
计算机图形学 23：金属高光与玻璃折射怎样建模
计算机图形学 23：金属高光与玻璃折射怎样建模
计算机图形学 22：小光源为什么难以采样
计算机图形学 22：小光源为什么难以采样
计算机图形学 21：光怎样经过多次反射
计算机图形学 21：光怎样经过多次反射
计算机图形学 20：随机样本怎样估计积分
计算机图形学 20：随机样本怎样估计积分
计算机图形学 19：表面颜色从哪里来
计算机图形学 19：表面颜色从哪里来
计算机图形学 18：怎样减少求交次数
计算机图形学 18：怎样减少求交次数
计算机图形学 17：一条光线先碰到什么
计算机图形学 17：一条光线先碰到什么
计算机图形学 16：多个模型怎样组成场景
计算机图形学 16：多个模型怎样组成场景
计算机图形学 15：怎样减少面数又控制形变
计算机图形学 15：怎样减少面数又控制形变
计算机图形学 14：粗网格怎样变成曲面
计算机图形学 14：粗网格怎样变成曲面
计算机图形学 13：少量控制点怎样生成曲线
计算机图形学 13：少量控制点怎样生成曲线
计算机图形学 12：三角网格怎样保存邻接
计算机图形学 12：三角网格怎样保存邻接
计算机图形学 11：沿管线定位一张错误图像
计算机图形学 11：沿管线定位一张错误图像
高级数据结构与算法设计 E08：次模贪心的保证依赖哪些条件
高级数据结构与算法设计 E08：次模贪心的保证依赖哪些条件
高级数据结构与算法设计 E07：并行归并的跨度与进程开销
高级数据结构与算法设计 E07：并行归并的跨度与进程开销
高级数据结构与算法设计 E06：近似近邻怎样同时报告召回率与成本
高级数据结构与算法设计 E06：近似近邻怎样同时报告召回率与成本
高级数据结构与算法设计 E05：指数放在参数上意味着什么
高级数据结构与算法设计 E05：指数放在参数上意味着什么
高级数据结构与算法设计 E04：最小费用流怎样保持费用最优
高级数据结构与算法设计 E04：最小费用流怎样保持费用最优
高级数据结构与算法设计 E03：查询过去与修改过去有什么不同
高级数据结构与算法设计 E03：查询过去与修改过去有什么不同
高级数据结构与算法设计 E02：rank与select怎样按位计算空间
高级数据结构与算法设计 E02：rank与select怎样按位计算空间
计算机图形学 10：光源看不见的地方怎样变暗
计算机图形学 10：光源看不见的地方怎样变暗
高级数据结构与算法设计 E01：回滚怎样处理离线删边
高级数据结构与算法设计 E01：回滚怎样处理离线删边
计算机图形学 09：法线怎样决定明暗
计算机图形学 09：法线怎样决定明暗
高级数据结构与算法设计 39：复现Bloom误报公式的一个反例
高级数据结构与算法设计 39：复现Bloom误报公式的一个反例
计算机图形学 08：怎样减少锯齿与纹理闪烁
计算机图形学 08：怎样减少锯齿与纹理闪烁
高级数据结构与算法设计 38：把实现选择写成可以复跑的实验矩阵
高级数据结构与算法设计 38：把实现选择写成可以复跑的实验矩阵
高级数据结构与算法设计 37：任务分配与集合覆盖各自证明了什么
高级数据结构与算法设计 37：任务分配与集合覆盖各自证明了什么
高级数据结构与算法设计 36：带版本的数据集怎样保持多个视图一致
高级数据结构与算法设计 36：带版本的数据集怎样保持多个视图一致
高级数据结构与算法设计 35：哪些改进受模型限制
高级数据结构与算法设计 35：哪些改进受模型限制
高级数据结构与算法设计 34：不知道未来怎样作决策
高级数据结构与算法设计 34：不知道未来怎样作决策
高级数据结构与算法设计 33：只能看一遍数据时留下什么
高级数据结构与算法设计 33：只能看一遍数据时留下什么
高级数据结构与算法设计 32：随机算法怎样控制失败概率
高级数据结构与算法设计 32：随机算法怎样控制失败概率
高级数据结构与算法设计 31：松弛怎样变成可行解
高级数据结构与算法设计 31：松弛怎样变成可行解
高级数据结构与算法设计 30：放弃精确最优能换来什么
高级数据结构与算法设计 30：放弃精确最优能换来什么
高级数据结构与算法设计 29：怎样说明一个问题难
高级数据结构与算法设计 29：怎样说明一个问题难
高级数据结构与算法设计 28：约束优化怎样提供可核对的界
高级数据结构与算法设计 28：约束优化怎样提供可核对的界
高级数据结构与算法设计 27：匹配怎样归约为流
高级数据结构与算法设计 27：匹配怎样归约为流
高级数据结构与算法设计 26：最大流怎样把局部增广变成全局最优
高级数据结构与算法设计 26：最大流怎样把局部增广变成全局最优
高级数据结构与算法设计 25：最短路为什么需要不同算法
高级数据结构与算法设计 25：最短路为什么需要不同算法
计算机图形学 07：为什么贴图会扭曲
计算机图形学 07：为什么贴图会扭曲
高级数据结构与算法设计 24：贪心怎样得到证明
高级数据结构与算法设计 24：贪心怎样得到证明
高级数据结构与算法设计 23：DP优化在什么条件下成立
高级数据结构与算法设计 23：DP优化在什么条件下成立
高级数据结构与算法设计 22：动态规划的状态怎样决定
高级数据结构与算法设计 22：动态规划的状态怎样决定
高级数据结构与算法设计 21：分治还能减少哪些重复计算
高级数据结构与算法设计 21：分治还能减少哪些重复计算
高级数据结构与算法设计 20：整数键能否突破比较模型
高级数据结构与算法设计 20：整数键能否突破比较模型
高级数据结构与算法设计 19：二维查询为什么比一维困难
高级数据结构与算法设计 19：二维查询为什么比一维困难
高级数据结构与算法设计 18：固定文本怎样支持大量子串查询
高级数据结构与算法设计 18：固定文本怎样支持大量子串查询
高级数据结构与算法设计 17：怎样避免字符串匹配的重复比较
高级数据结构与算法设计 17：怎样避免字符串匹配的重复比较
高级数据结构与算法设计 16：不知道缓存块大小还能优化吗
高级数据结构与算法设计 16：不知道缓存块大小还能优化吗
高级数据结构与算法设计 15：内存装不下时成本怎样计算
高级数据结构与算法设计 15：内存装不下时成本怎样计算
计算机图形学 06：哪个表面可见
计算机图形学 06：哪个表面可见
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
分布式系统 19：ZooKeeper 一致性、锁配方与外部 fencing
分布式系统 19：ZooKeeper 一致性、锁配方与外部 fencing
分布式系统 18：ZAB 原子广播与领导者恢复
分布式系统 18：ZAB 原子广播与领导者恢复
分布式系统 17：ZooKeeper 服务模型与会话边界
分布式系统 17：ZooKeeper 服务模型与会话边界
从零编写操作系统 22 - 文件描述符：把名字、游标与资源寿命分开
从零编写操作系统 22 - 文件描述符：把名字、游标与资源寿命分开
分布式系统 16：从故障轨迹到有限状态搜索
分布式系统 16：从故障轨迹到有限状态搜索
分布式系统 15：把客户端命令接到容错 KV
分布式系统 15：把客户端命令接到容错 KV
计算机图形学 05：哪些样本属于三角形
计算机图形学 05：哪些样本属于三角形
计算机图形学 04：为什么平均颜色会发暗
计算机图形学 04：为什么平均颜色会发暗
分布式系统 14：Raft 成员变更与线性化读
分布式系统 14：Raft 成员变更与线性化读
分布式系统（24）：分片与在线迁移的归属边界
分布式系统（24）：分片与在线迁移的归属边界
计算机图形学 03：为什么细线会断裂、棋盘格会闪烁
计算机图形学 03：为什么细线会断裂、棋盘格会闪烁
从零编写操作系统 21 - 只读 FAT16：从扇区追到文件字节
从零编写操作系统 21 - 只读 FAT16：从扇区追到文件字节
分布式系统 13：Raft 持久化、快照与恢复边界
分布式系统 13：Raft 持久化、快照与恢复边界
分布式系统（23）：Dynamo风格复制、Quorum与冲突版本
分布式系统（23）：Dynamo风格复制、Quorum与冲突版本
计算机图形学 02：相机怎样把空间投到屏幕
计算机图形学 02：相机怎样把空间投到屏幕
计算机图形学 01：点、向量与矩阵怎样表达几何
计算机图形学 01：点、向量与矩阵怎样表达几何
从零编写操作系统 20 - ATA PIO 块设备：把扇区读成可信的数据
从零编写操作系统 20 - ATA PIO 块设备：把扇区读成可信的数据
分布式系统 12：Raft 日志匹配与本任期提交
分布式系统 12：Raft 日志匹配与本任期提交
分布式系统 22：协议、协调服务与多数派故障
分布式系统 22：协议、协调服务与多数派故障
分布式系统 11：Raft 任期、投票与选举安全
分布式系统 11：Raft 任期、投票与选举安全
分布式系统 21：etcd 的读、事务、Watch 与 Lease
分布式系统 21：etcd 的读、事务、Watch 与 Lease
Claude Code 源码深度解析：五层架构与核心设计模式
Claude Code 源码深度解析：五层架构与核心设计模式
计算机图形学 00：从一个像素到一张图像
计算机图形学 00：从一个像素到一张图像
分布式系统 10：Multi-Paxos 与复制状态机
分布式系统 10：Multi-Paxos 与复制状态机
分布式系统 20：etcd 的 Raft 与存储路径
分布式系统 20：etcd 的 Raft 与存储路径
分布式系统 09：多数派交叉与单值 Paxos
分布式系统 09：多数派交叉与单值 Paxos
分布式系统 08：共识问题与安全活性边界
分布式系统 08：共识问题与安全活性边界
分布式系统 07：主备与链式复制
分布式系统 07：主备与链式复制
分布式系统 06：一致性模型与分区边界
分布式系统 06：一致性模型与分区边界
计算机体系结构 06：单周期数据通路
计算机体系结构 06：单周期数据通路
计算机体系结构 05：从逻辑到状态
计算机体系结构 05：从逻辑到状态
分布式系统 05：时钟与因果偏序
分布式系统 05：时钟与因果偏序
分布式系统 04：从网络 KV 到持久化恢复
分布式系统 04：从网络 KV 到持久化恢复
分布式系统 03：GFS 写入路径与副本边界
分布式系统 03：GFS 写入路径与副本边界
分布式系统 02：MapReduce 任务重试与输出提交
分布式系统 02：MapReduce 任务重试与输出提交
分布式系统 01：RPC 重试、并发与请求去重
分布式系统 01：RPC 重试、并发与请求去重
高级数据结构与算法设计 14：怎样查询过去而不复制整棵树
高级数据结构与算法设计 14：怎样查询过去而不复制整棵树
高级数据结构与算法设计 13：静态查询能否用预处理换时间
高级数据结构与算法设计 13：静态查询能否用预处理换时间
高级数据结构与算法设计 12：批量更新怎样延迟执行
高级数据结构与算法设计 12：批量更新怎样延迟执行
高级数据结构与算法设计 11：更新之后怎样查询区间
高级数据结构与算法设计 11：更新之后怎样查询区间
高级数据结构与算法设计 10：连通性更新怎样变快
高级数据结构与算法设计 10：连通性更新怎样变快
高级数据结构与算法设计 09：优先队列怎样支持合并与降键
高级数据结构与算法设计 09：优先队列怎样支持合并与降键
高级数据结构与算法设计 08：热点访问能否改变代价
高级数据结构与算法设计 08：热点访问能否改变代价
高级数据结构与算法设计 07：平衡一定需要高度约束吗
高级数据结构与算法设计 07：平衡一定需要高度约束吗
高级数据结构与算法设计 06：怎样同时支持查找、排名与第 k 名
高级数据结构与算法设计 06：怎样同时支持查找、排名与第 k 名
高级数据结构与算法设计 05：怎样验证一个算法实现
高级数据结构与算法设计 05：怎样验证一个算法实现
高级数据结构与算法设计 04：随机性到底帮助了什么
高级数据结构与算法设计 04：随机性到底帮助了什么
高级数据结构与算法设计 03：昂贵操作怎样计入整段序列
高级数据结构与算法设计 03：昂贵操作怎样计入整段序列
高级数据结构与算法设计 02：从递推式到上下界
高级数据结构与算法设计 02：从递推式到上下界
高级数据结构与算法设计 01：程序为什么正确
高级数据结构与算法设计 01：程序为什么正确
分布式系统 00：系统模型、故障时间线与先修自测
分布式系统 00：系统模型、故障时间线与先修自测
高级数据结构与算法设计 00：怎样把需求写成可分析的算法问题
高级数据结构与算法设计 00：怎样把需求写成可分析的算法问题
计算机网络 25：少一次握手付出了什么，会话恢复、0-RTT 与重放边界
计算机网络 25：少一次握手付出了什么，会话恢复、0-RTT 与重放边界
计算机网络 24：TLS 如何确认通信对象，TLS 1.3、证书链、主机名、密钥与记录
计算机网络 24：TLS 如何确认通信对象，TLS 1.3、证书链、主机名、密钥与记录
计算机网络 23：缓存返回的还是同一份资源吗，新鲜度、验证、Vary 与条件请求
计算机网络 23：缓存返回的还是同一份资源吗，新鲜度、验证、Vary 与条件请求
计算机网络 22：HTTP/1.1 怎样划分消息，请求语义、消息长度、连接复用与代理
计算机网络 22：HTTP/1.1 怎样划分消息，请求语义、消息长度、连接复用与代理
计算机网络 21：域名怎样变成地址，递归、权威、委派、TTL 与负缓存
计算机网络 21：域名怎样变成地址，递归、权威、委派、TTL 与负缓存
计算机网络 20：为什么缓冲更多反而更慢，bufferbloat、队列管理与 ECN
计算机网络 20：为什么缓冲更多反而更慢，bufferbloat、队列管理与 ECN
计算机网络 19：谁限制发送速度，cwnd、rwnd、慢启动、拥塞避免与公平性
计算机网络 19：谁限制发送速度，cwnd、rwnd、慢启动、拥塞避免与公平性
计算机网络 18：接收方读得慢会怎样，接收窗口、背压、零窗口与缓冲区
计算机网络 18：接收方读得慢会怎样，接收窗口、背压、零窗口与缓冲区
计算机网络 17：何时重传才合理，RTT 估计、RTO、快速重传与恢复
计算机网络 17：何时重传才合理，RTT 估计、RTO、快速重传与恢复
计算机网络 16：TCP 连接何时存在，握手、半关闭、RST、TIME_WAIT 与重启
计算机网络 16：TCP 连接何时存在，握手、半关闭、RST、TIME_WAIT 与重启
计算机网络 15：TCP 怎样标识一条字节流，序号、累计 ACK、重组与 SACK
计算机网络 15：TCP 怎样标识一条字节流，序号、累计 ACK、重组与 SACK
计算机网络 14：怎样在不可靠信道上传完整内容，ARQ、序号、计时器与滑动窗口
计算机网络 14：怎样在不可靠信道上传完整内容，ARQ、序号、计时器与滑动窗口
计算机网络 13：UDP 交付了什么，数据报、端口、校验与应用责任
计算机网络 13：UDP 交付了什么，数据报、端口、校验与应用责任
计算机网络 12：跨自治系统为什么不只选最短路，BGP、策略、通告与撤回
计算机网络 12：跨自治系统为什么不只选最短路，BGP、策略、通告与撤回
计算机网络 11：一个自治系统内怎样选路，距离向量、链路状态、收敛与环路
计算机网络 11：一个自治系统内怎样选路，距离向量、链路状态、收敛与环路
计算机网络 10：路由器内部怎样转发，RIB/FIB、控制面、数据面与查表
计算机网络 10：路由器内部怎样转发，RIB/FIB、控制面、数据面与查表
计算机网络 09：小包能通而大包失败，ICMP、MTU、MSS、PMTUD 与黑洞
计算机网络 09：小包能通而大包失败，ICMP、MTU、MSS、PMTUD 与黑洞
计算机网络 08：IPv6 改了什么，地址、NDP、SLAAC、链路本地与双栈
计算机网络 08：IPv6 改了什么，地址、NDP、SLAAC、链路本地与双栈
计算机网络 07：IP 地址怎样决定下一跳，CIDR、子网、最长前缀匹配与 IPv4 转发
计算机网络 07：IP 地址怎样决定下一跳，CIDR、子网、最长前缀匹配与 IPv4 转发
计算机网络 06：地址从哪里来，ARP、DHCP、默认网关与邻居缓存
计算机网络 06：地址从哪里来，ARP、DHCP、默认网关与邻居缓存
计算机网络 05：Wi-Fi 为什么不同于一根网线
计算机网络 05：Wi-Fi 为什么不同于一根网线
计算机网络 04：以太网怎样找到接收端
计算机网络 04：以太网怎样找到接收端
计算机网络 03：抓包能证明什么
计算机网络 03：抓包能证明什么
计算机网络 02：socket 读写的单位与消息边界
计算机网络 02：socket 读写的单位与消息边界
计算机网络 01：带宽高为什么仍然慢
计算机网络 01：带宽高为什么仍然慢
计算机网络 00：一次请求的路径与先修自测
计算机网络 00：一次请求的路径与先修自测
计算机体系结构 00：一次数组求和经过哪些层
计算机体系结构 00：一次数组求和经过哪些层
计算机体系结构 01：比特怎样表示数
计算机体系结构 01：比特怎样表示数
计算机体系结构 02：怎样比较两台机器
计算机体系结构 02：怎样比较两台机器
计算机体系结构 03：ISA 是机器能执行的契约
计算机体系结构 03：ISA 是机器能执行的契约
计算机体系结构 04：C 函数怎样变成机器程序
计算机体系结构 04：C 函数怎样变成机器程序
计算机体系结构 07：有限 RV32I 参考执行器
计算机体系结构 07：有限 RV32I 参考执行器
计算机体系结构 08：多周期执行
计算机体系结构 08：多周期执行
计算机体系结构 09：五级流水线
计算机体系结构 09：五级流水线
计算机体系结构 10：数据与结构冒险
计算机体系结构 10：数据与结构冒险
计算机体系结构 11：分支预测与恢复
计算机体系结构 11：分支预测与恢复
计算机体系结构 12：重命名与乱序执行窗口
计算机体系结构 12：重命名与乱序执行窗口
计算机体系结构 13：ROB 与精确异常
计算机体系结构 13：ROB 与精确异常
计算机体系结构 15：仿真结果怎样可信
计算机体系结构 15：仿真结果怎样可信
计算机体系结构 14：LSQ 与内存依赖重放
计算机体系结构 14：LSQ 与内存依赖重放
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
Untitled
从零编写操作系统 19 - 创建与回收进程：让退出状态有地方可去
从零编写操作系统 19 - 创建与回收进程：让退出状态有地方可去
从零编写操作系统 18 - ELF 加载器：把文件中的段变成用户地址空间
从零编写操作系统 18 - ELF 加载器：把文件中的段变成用户地址空间
从零编写操作系统 17 - 系统调用：把用户参数安全地带进内核
从零编写操作系统 17 - 系统调用：把用户参数安全地带进内核
总统制、内阁制与半总统制：历史沿革、权力分立与各国实践
总统制、内阁制与半总统制：历史沿革、权力分立与各国实践
从零编写操作系统 16 - 进入用户态：让错误程序无法直接改内核
从零编写操作系统 16 - 进入用户态：让错误程序无法直接改内核
从零编写操作系统 15 - 等待与唤醒：任务为什么不能一直轮询
从零编写操作系统 15 - 等待与唤醒：任务为什么不能一直轮询
从零编写操作系统 14 - 抢占调度：时间片结束后怎样换一个任务
从零编写操作系统 14 - 抢占调度：时间片结束后怎样换一个任务
从零编写操作系统 13 - 保存与恢复执行现场：先实现协作式任务
从零编写操作系统 13 - 保存与恢复执行现场：先实现协作式任务
从零构建现代搜索引擎（E05）：磁盘 ANN 与引擎工程对照
从零构建现代搜索引擎（E05）：磁盘 ANN 与引擎工程对照
从零构建现代搜索引擎（E04）：有界多步搜索与引用答案
从零构建现代搜索引擎（E04）：有界多步搜索与引用答案
从零构建现代搜索引擎（E03）：多模态文档搜索
从零构建现代搜索引擎（E03）：多模态文档搜索
从零构建现代搜索引擎（E02）：多向量与 Late Interaction
从零构建现代搜索引擎（E02）：多向量与 Late Interaction
从零构建现代搜索引擎（E01）：学习稀疏检索
从零构建现代搜索引擎（E01）：学习稀疏检索
从零构建现代搜索引擎（30）：从空目录完成最终演示
从零构建现代搜索引擎（30）：从空目录完成最终演示
从零构建现代搜索引擎（29）：形成可重复的相关性迭代流程
从零构建现代搜索引擎（29）：形成可重复的相关性迭代流程
从零构建现代搜索引擎（28）：搜索质量与访问边界
从零构建现代搜索引擎（28）：搜索质量与访问边界
从零构建现代搜索引擎（27）：节点故障、备份与恢复
从零构建现代搜索引擎（27）：节点故障、备份与恢复
从零构建现代搜索引擎（26）：把查询分发到多个分片
从零构建现代搜索引擎（26）：把查询分发到多个分片
从零构建现代搜索引擎（25）：新鲜度与持续采集
从零构建现代搜索引擎（25）：新鲜度与持续采集
从零构建现代搜索引擎（24）：建立搜索的性能画像
从零构建现代搜索引擎（24）：建立搜索的性能画像
从零构建现代搜索引擎（23）：模型升级时怎样重建索引
从零构建现代搜索引擎（23）：模型升级时怎样重建索引
从零构建现代搜索引擎（22）：压缩向量与控制推理成本
从零构建现代搜索引擎（22）：压缩向量与控制推理成本
从零构建现代搜索引擎（21）：让重排序模型检查候选
从零构建现代搜索引擎（21）：让重排序模型检查候选
从零构建现代搜索引擎（20）：将关键词与向量结果合并
从零构建现代搜索引擎（20）：将关键词与向量结果合并
从零构建现代搜索引擎（19）：用 HNSW 加速近邻搜索
从零构建现代搜索引擎（19）：用 HNSW 加速近邻搜索
从零构建现代搜索引擎（18）：将文档编码成可检索向量
从零构建现代搜索引擎（18）：将文档编码成可检索向量
从零构建现代搜索引擎（17）：查询理解与链接质量信号
从零构建现代搜索引擎（17）：查询理解与链接质量信号
从零构建现代搜索引擎（16）：在自己的查询集上优化相关性
从零构建现代搜索引擎（16）：在自己的查询集上优化相关性
从零构建现代搜索引擎（15）：将自制内核接到 Lucene
从零构建现代搜索引擎（15）：将自制内核接到 Lucene
从零构建现代搜索引擎（14）：搜索 API 与第一个网页界面
从零构建现代搜索引擎（14）：搜索 API 与第一个网页界面
从零构建现代搜索引擎（13）：给搜索结果补齐用户需要的信息
从零构建现代搜索引擎（13）：给搜索结果补齐用户需要的信息
从零构建现代搜索引擎（12）：更新、删除与崩溃恢复
从零构建现代搜索引擎（12）：更新、删除与崩溃恢复
从零构建现代搜索引擎（11）：查询为什么不必扫描全部候选
从零构建现代搜索引擎（11）：查询为什么不必扫描全部候选
从零构建现代搜索引擎（10）：内存装不下时怎样建立索引
从零构建现代搜索引擎（10）：内存装不下时怎样建立索引
从零构建现代搜索引擎（09）：从词频到 BM25
从零构建现代搜索引擎（09）：从词频到 BM25
从零构建现代搜索引擎（08）：短语、布尔查询与过滤
从零构建现代搜索引擎（08）：短语、布尔查询与过滤
从零构建现代搜索引擎（07）：第一张倒排索引
从零构建现代搜索引擎（07）：第一张倒排索引
从零构建现代搜索引擎（06）：中文、英文和代码怎样变成词项
从零构建现代搜索引擎（06）：中文、英文和代码怎样变成词项
从零构建现代搜索引擎（05）：正文提取、URL 规范化与去重
从零构建现代搜索引擎（05）：正文提取、URL 规范化与去重
从零构建现代搜索引擎（04）：实现有边界的网页爬虫
从零构建现代搜索引擎（04）：实现有边界的网页爬虫
从零构建现代搜索引擎（03）：在改进排序前建立评测基线
从零构建现代搜索引擎（03）：在改进排序前建立评测基线
从零构建现代搜索引擎（02）：文档对象与统一导入
从零构建现代搜索引擎（02）：文档对象与统一导入
从零构建现代搜索引擎（01）：建立可重复运行的项目
从零构建现代搜索引擎（01）：建立可重复运行的项目
从零构建现代搜索引擎（00）：最终要做出怎样的搜索引擎
从零构建现代搜索引擎（00）：最终要做出怎样的搜索引擎
从零编写操作系统 12 - 内核堆：在物理页内分配、分裂与合并
从零编写操作系统 12 - 内核堆：在物理页内分配、分裂与合并
从零编写操作系统 11 - 分页与页故障：修改映射后重试同一条指令
从零编写操作系统 11 - 分页与页故障：修改映射后重试同一条指令
从零编写操作系统 10 - 物理页分配：哪些内存真正可以交出去
从零编写操作系统 10 - 物理页分配：哪些内存真正可以交出去
从零编写操作系统 09 - 键盘与事件队列：把中断接收和字符处理分开
从零编写操作系统 09 - 键盘与事件队列：把中断接收和字符处理分开
从零编写操作系统 08 - 时钟中断：让外部事件打断当前执行
从零编写操作系统 08 - 时钟中断：让外部事件打断当前执行
从零编写操作系统 05 - 跳进 C：入口、链接脚本与内存布局
从零编写操作系统 05 - 跳进 C：入口、链接脚本与内存布局
从零编写操作系统 04 - 进入保护模式：建立第一份运行环境
从零编写操作系统 04 - 进入保护模式：建立第一份运行环境
从零编写操作系统 03 - 两阶段引导：加载比一个扇区更大的程序
从零编写操作系统 03 - 两阶段引导：加载比一个扇区更大的程序
从零编写操作系统 07 - 异常入口：CPU 出错后把哪些信息交给内核
从零编写操作系统 07 - 异常入口：CPU 出错后把哪些信息交给内核
从零编写操作系统 02 - 第一个启动扇区：让 BIOS 执行自己的指令
从零编写操作系统 02 - 第一个启动扇区：让 BIOS 执行自己的指令
从零编写操作系统 06 - 输出与故障现场：建立串口、控制台和 panic
从零编写操作系统 06 - 输出与故障现场：建立串口、控制台和 panic
从零编写操作系统 01 - 准备工具链：源代码怎样变成磁盘里的字节
从零编写操作系统 01 - 准备工具链：源代码怎样变成磁盘里的字节
从零编写操作系统 00 - 从启动扇区到窗口：这套操作系统准备实现什么
从零编写操作系统 00 - 从启动扇区到窗口：这套操作系统准备实现什么
从零编写现代编译器 30 - 张量方言与 Lowering 到 LLVM
从零编写现代编译器 30 - 张量方言与 Lowering 到 LLVM
从零编写现代编译器 29 - MLIR 入门：定义 Sprout 方言
从零编写现代编译器 29 - MLIR 入门：定义 Sprout 方言
从零编写现代编译器 28 - 用 WIT 封装组件接口
从零编写现代编译器 28 - 用 WIT 封装组件接口
从零编写现代编译器 27 - 编译到 WebAssembly
从零编写现代编译器 27 - 编译到 WebAssembly
从零编写现代编译器 26 - 用 Cranelift 实现 JIT 编译
从零编写现代编译器 26 - 用 Cranelift 实现 JIT 编译
从零编写现代编译器 25 - 从空目录构建并运行完整应用
从零编写现代编译器 25 - 从空目录构建并运行完整应用
从零编写现代编译器 24 - 接入语言服务器协议
从零编写现代编译器 24 - 接入语言服务器协议
从零编写现代编译器 23 - 不完整代码与增量分析
从零编写现代编译器 23 - 不完整代码与增量分析
从零编写现代编译器 22 - 测量编译与运行性能
从零编写现代编译器 22 - 测量编译与运行性能
从零编写现代编译器 21 - 差分、属性与模糊测试
从零编写现代编译器 21 - 差分、属性与模糊测试
从零编写现代编译器 20 - 让错误回到源程序
从零编写现代编译器 20 - 让错误回到源程序
从零编写现代编译器 19 - 多文件模块、ABI 与链接
从零编写现代编译器 19 - 多文件模块、ABI 与链接
从零编写现代编译器 18 - 泛型如何变成具体代码
从零编写现代编译器 18 - 泛型如何变成具体代码
从零编写现代编译器 17 - 结构体、枚举与模式匹配
从零编写现代编译器 17 - 结构体、枚举与模式匹配
从零编写现代编译器 16 - 字符串和引用计数
从零编写现代编译器 16 - 字符串和引用计数
从零编写现代编译器 15 - 数据布局与受检数组
从零编写现代编译器 15 - 数据布局与受检数组
从零编写现代编译器 14 - 接入 LLVM 优化与后端
从零编写现代编译器 14 - 接入 LLVM 优化与后端
从零编写现代编译器 13 - 常量传播与无用代码删除
从零编写现代编译器 13 - 常量传播与无用代码删除
从零编写现代编译器 12 - SSA 构造与 phi 节点
从零编写现代编译器 12 - SSA 构造与 phi 节点
从零编写现代编译器 11 - 支配关系、活跃变量与数据流
从零编写现代编译器 11 - 支配关系、活跃变量与数据流
从零编写现代编译器 10 - 基本块、跳转与 CFG
从零编写现代编译器 10 - 基本块、跳转与 CFG
从零编写现代编译器 09 - 条件、循环和可执行程序
从零编写现代编译器 09 - 条件、循环和可执行程序
从零编写现代编译器 08 - 函数调用、递归和返回值
从零编写现代编译器 08 - 函数调用、递归和返回值
从零编写现代编译器 07 - 用参考解释器固定语言语义
从零编写现代编译器 07 - 用参考解释器固定语言语义
从零编写现代编译器 06 - 类型检查与 Typed HIR
从零编写现代编译器 06 - 类型检查与 Typed HIR
从零编写现代编译器 05 - 名字、作用域与可变变量
从零编写现代编译器 05 - 名字、作用域与可变变量
从零编写现代编译器 04 - 表达式解析与错误恢复
从零编写现代编译器 04 - 表达式解析与错误恢复
从零编写现代编译器 03 - 语句解析：let、赋值和分号
从零编写现代编译器 03 - 语句解析：let、赋值和分号
从零编写现代编译器 02 - 词法分析器：把文本切成 Token
从零编写现代编译器 02 - 词法分析器：把文本切成 Token
从零编写现代编译器 01 - return 42：从源码到可执行文件
从零编写现代编译器 01 - return 42：从源码到可执行文件
从零编写现代编译器 00 - 这门语言准备编译什么
从零编写现代编译器 00 - 这门语言准备编译什么
现代编译器写作计划：从 Rust 到 LLVM、Wasm 和 MLIR
现代编译器写作计划：从 Rust 到 LLVM、Wasm 和 MLIR
分布式 ID 系统设计：从需求约束推导架构
分布式 ID 系统设计：从需求约束推导架构
tmux 教程：把一次 SSH 登录变成可恢复的终端工作台
tmux 教程：把一次 SSH 登录变成可恢复的终端工作台
avatar
magicliang
关于技术以及人生
Articles
965
Tags
1089
Categories
53
Github
Announcement
人生只是，守株待兔
Recent Posts
从零编写操作系统 30 - 综合演示与交付验证
从零编写操作系统 30 - 综合演示与交付验证
Untitled
Untitled
从零编写操作系统 29 - 窗口终端：把用户态 Shell 接进图形界面
从零编写操作系统 29 - 窗口终端：把用户态 Shell 接进图形界面
Untitled
Untitled
计算机网络 27：QUIC 为什么重新实现传输机制，包号、流、恢复、拥塞与迁移
计算机网络 27：QUIC 为什么重新实现传输机制，包号、流、恢复、拥塞与迁移
Categories
Tags
影评杨幂诺兰JVMJava异常处理区块链HyperledgerCorda私有链联盟链共识算法javacJIT字节码性能优化科幻DockerSocketJavaScriptKOA数据库MySQLMariaDBLinux虚拟化hypervisorgithubhexo互联网金融FinTechPython面向对象编程语言编程范式tag操作系统Govim大数据
Archives
Website Info
Article Count :
965
Total Word Count :
4160.7k
Unique Visitors :
Page Views :
Last Update :