Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
Extracting memorized pieces of (copyrighted) books from open-weight ...
A. Feder Cooper, Aaron Gokaslan, Amy B. Cyphert, Christopher ...
Pragmatic Programmer, The: From Journeyman to Master (Jonathan ...
Andrew Hunt & David Thomas
The Diamond Age
Neal Stephenson
The Final Empire
Brandon Sanderson
Mistborn (1)