Selected Readings

Proof-writing

• Spivak. Calculus.
• https://archive.org/details/Calculus_643

Computing

• Abelson, Sussman, Sussman. Structure and Interpretation of Computer Programs.
• https://mitpress.mit.edu/sites/default/files/sicp/index.html
• PDF: https://github.com/allenleein/brains/blob/master/Zen-of-Functional-Programming/(883)The%20Structure%20and%20Interpretation%20of%20Computer%20Programs.pdf
• Interactive: https://xuanji.appspot.com/isicp/
• Felleisen, et al. How to Design Programs.
• https://www.htdp.org
• Norvig. Pytudes.
• https://github.com/norvig/pytudes#pytudes-index-of-jupyter-ipython-notebooks

Driving

• Bentley, Ross. Speed Secrets.
• https://speedsecrets.com/ross-bentley/
• Korf, Ian. You Suck At Racing.
• https://yousuckatracing.wordpress.com 

Other

• Graham. What You Can't Say.
• http://www.paulgraham.com/say.html