Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Everything Store: Jeff Bezos and the Age of Amazon
Stone, Brad
Iamblichus' De Anima: Text, Translation, and Commentary
John Finamore & John Dillon
Periphyseon: Division of Nature
Johannes Scotus Erigena
Game Programming Gems 8
Adam Lake