Serious question: In what ways is CS theory high-impact?

I'm particularly interested in any arguments that complexity theory is high-impact (beyond the very useful insight that there are some problems for which no polynomial time algorithm is known). I have a pretty good idea of the impact of cryptography and randomized linear algebra (sometimes considered CS theory), but am also interested in hearing about other fields considered CS theory with useful applications.