Programming
Programming 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