This is what CS should be. But academic CS is full of people who really wanted to be in the math department but aren't quite bright enough to make the cut. So

This is what CS should be. But academic CS is full of people who really wanted to be in the math department but aren't quite bright enough to make the cut. So they cargo cult CS into a sort of weird pure/applied-ish math hybrid full of contingent generalisations like Big O and debatable abstraction traditions - not least the idea of provability, which only applies to conceptually self-contained micro-problems and is a much harder sell for big complex systems. The engineering track - including the theory of how to design systems so they actually work, are easy to use, and are maintainable - is underrepresented.