Essential Algorithms
This part studies the small set of algorithmic patterns repeatedly used in systems: boundary finding, selection, scans, incremental state, graph frontiers, scheduling, streaming, and parsers.
Each chapter connects a correctness invariant and asymptotic cost to data movement and machine behavior.