Reading Harry Braverman suitably explains a lot of what is going in programming.