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.

I take it you're not a big fan of functional programming ;)

I do like electrical engineering. I'm a huge Arduino-head, and am currently working on an embedded device for a client. The hardware design was relatively simple, but I have way more to learn in that area.