A brief introduction to type theory and the univalence axiom
Jackson Macor
Linear Algebra Done Right
Sheldon Axler
Homage to Catalonia
George Orwell
Crafting Interpreters
Timothy Andrew
The Count of Monte Cristo, Illustrated
Alexandre Dumas