Computers can be understood

made by nelhage, submitted by Mai
A principled exploration of the author's philosophical approach to computing in general and debugging specifically.