Programming Languages The Reasoned Schemer The Power of Prolog Theorem Proving in Lean 4 Functional Programming in Lean Rust for Rustaceans Logic Gödel's Proof Homotopy Type Theory Category Theory Category Theory in Context Algorithms Farkas' lemma Simplex algorithm Interior-point method Dual linear program Fast Fourier transform Machine Learning All of Statistics The Little Learner Deep Learning Transformer