The Little Typer
Daniel P. Friedman & David Thrane Christiansen
Seven Databases in Seven Weeks: A Guide to Modern Databases ...
Luc Perkins & Eric Redmond & Jim Wilson
A Universe From Nothing: Why There Is Something Rather Than ...
Lawrence M. Krauss
Types and Programming Languages
Benjamin C. Pierce
Reality Is Not What It Seems
Carlo Rovelli