The Most Human Human
2011
GameMaker programming by example
2015
Algorithms to Live By
2016
The Alignment Problem
2020