My experience is very similar but I will say that - as someone whose work is primarily in graphics and performance - that a lot of the math and theory has been really useful. The fawning over functional programming and formal proofs less so.

The biggest surprise when I got into the industry was how incredibly much necessary practical knowledge was not even hinted at in my education. Mainly related to actual tooling and processes required for large professional settings - not toy projects for five students doing something for a few weeks.