Real math majors are also some of the last people I'd ask about programming--if they care about it at all, it's just as a means to an end.

If a math major was interested in programming itself, in the meaning of programs or in neat abstractions for programming, they'd be in theoretical CS instead.

Do real math majors find the category theory in physics pretty dumb too?

Yeah, this is basically my point. You're more likely to find Harry's kind of silliness among CS people than math people.

"No true Scotsman" and all that. The dual major in my FP group is the only one besides me that cares about category theory. The rest are CS majors and don't care. Just so you know.