Technical Resources

Books and other resources in programming and mathematics.

This is a list of various sites, textbooks, and tools that I've personally found useful. At some point I plan to organize these into a starting-from-scratch syllabus for all of computer science, like Gerard 't Hooft's "How to Become a GOOD Theoretical Physicist" or the anonymous "How to Become a Pure Mathematician (or Statistician)", both of which I highly recommend.


Programming Languages

Operating Systems


System Design



  1. Important: the "download" button on the main page lets you download and run the Coq source, which is the best way to follow along with the book.