Grain Brain
David Perlmutter
Algorithms to Live By
Brian Christian
Beginning x64 Assembly Programming
Jo Van Hoey
A brief introduction to type theory and the univalence axiom
Jackson Macor
Einstein Manifolds
Arthur L. Besse