Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
The Hard Thing About Hard Things
Ben Horowitz
Maps of Meaning: The Architecture of Belief
Jordan B. Peterson
The Book of Five Rings
Musashi Miyamoto
Z-80 Microprocessor: Architecture, Interfacing, Programming ...
Ramesh Gaonkar