Algorithm CookbookA practical cookbook of algorithmic patterns, correctness arguments, and implementation techniques.
LeanA guided introduction to Lean for theorem proving, formalization, and proof engineering.
System DesignA structured guide to system design concepts, tradeoffs, and interview-style problem solving.