Proofs, Computability, Undecidability, Complexity, and the Lambda Calculus [pdf] Hacker News · 3 days ago
Algebra, Topology, Differential Calculus, and Optimization Theory for CS and ML [pdf] Hacker News · 1 year ago