To Read
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