>>31217397I'm gonna stretch suuuuuper hard to be fair here, but isn't there an alternative possibility?
Maybe he's one of those "comp sci" students that are actually way more focused on the math and theory side of CS than any actual programming; I was like that once
There's a whole area of stuff like formal logic, numerical methods, algorithms, cryptography, quantum computing, complexity theory like the P = NP problem
I could forgive if someone got very deep into that stuff without ever touching a programming language because they're not really conventional CS, more like a mathematician who is interested in potential CS applications
(which is what I was at some point; I knew nothing about actual programming because I wasn't a CS student but I was very into mathematics and was interested for a short while in the unique branches of math that are specifically applicable to CS, especially because I liked math foundations and that brought me into logic theory which was a very deep rabbit hole)