Beyond the Blog: Effective Programming: More Than Writing Code
Jeff Atwood (author Of Coding Horror Blog)
The Moon is a Harsh Mistress
Robert A. Heinlein
dune documentation
Jérémie Dimino
OCaml Programming: Correct + Efficient + Beautiful
Michael R. Clarkson
The Manga Guide to Statistics
Shin Takahashi
Anathem
Neal Stephenson
Mathematics for Computer Science
Eric Lehman & F. Thomson Leighton & Albert R. Meyer
Categories for the Working Mathematician
Saunders Mac Lane
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport