Programming

Books on algorithms, system design, and formal methods.

3 items

Books on algorithms, data structures, system design, and formal verification.

Book	About
[Algorithm Cookbook]({{< relref "programming/algorithms/_index.md" >}})	Practical patterns, correctness arguments, and implementation techniques
[System Design]({{< relref "programming/system-design/_index.md" >}})	Scalability, architecture, and interview-style problem solving
[Lean]({{< relref "programming/lean/_index.md" >}})	Theorem proving, formalization, and proof engineering

Programming ›

Algorithm Cookbook

A practical cookbook of algorithmic patterns, correctness arguments, and implementation techniques.

Programming ›

A guided introduction to Lean for theorem proving, formalization, and proof engineering.

Programming ›

A structured guide to system design concepts, tradeoffs, and interview-style problem solving.