The struct and interpretation of classical mechanics is a good one. The only thing I'd say is that complexity in this styles of projects is not in the code. Un

The struct and interpretation of classical mechanics is a good one. The only thing I'd say is that complexity in this styles of projects is not in the code. Unless you start a new compiler from scratch I'd say something like 70% of my time not thinking about language semantics are spent thinking about target semantics, not anything you'd see in a book. Any I almost literally do mean anything. One slightly left field approach is that although Leslie Lamport has a very math-first writing style he actually typically does build up to the analysis of more and more practical systems when he writes about TLA+. Knuth sort of does this with the caveat that you have to be very good at reading through the lines if you want a tutorial-esque experience.