Originally posted by

**Reverend Jones**:One thing I noticed from those recordings is that Knuth only makes eye contact about 10% of the time. I guess he's pretty well re-purposed his visual and spatial faculties for abstract stuff and doesn't like those neural circuits to be thrown off by facial cues.

Joke: How do you find the extroverted mathematician from the group?

S/he will be looking at the

Joke: How do you find the extroverted mathematician from the group?

S/he will be looking at the

*other*person's shoes.Yeah, he came across like a person mainly concerned with his own thoughts.

Originally posted by

**Reverend Jones**:You will do basic category theory anyway if you go far enough in algebra if only as a convenient generalized language to describe what is already clear from the concrete example from algebra.

As for programming, you don't need to know too much about linear logic to take advantage of Rust's memory model, or know category theory to use ML's type system, or know a ton of logic to use prolog. But you probably won't be using math to come up with new such things if math isn't on your radar when you try to invent new **** in software from scratch, although to be fair most of that stuff was already done by the late 70s.

If you want a job at valve and appreciate what they do, a simple guess says that you should probably learn how to program using linear algebra and computer graphics before expecting topology to pay off. Also, knowing probability, calculus, and combinatorics also is helpful pretty much in anything anywhere in life no matter what.

As for programming, you don't need to know too much about linear logic to take advantage of Rust's memory model, or know category theory to use ML's type system, or know a ton of logic to use prolog. But you probably won't be using math to come up with new such things if math isn't on your radar when you try to invent new **** in software from scratch, although to be fair most of that stuff was already done by the late 70s.

If you want a job at valve and appreciate what they do, a simple guess says that you should probably learn how to program using linear algebra and computer graphics before expecting topology to pay off. Also, knowing probability, calculus, and combinatorics also is helpful pretty much in anything anywhere in life no matter what.

I've seen some category theory, which is why I'm skeptical of it. As far as computer graphics, I've written some primitive 3D stuff, after a bit of linear algebra it's not hard to write code for 3D engines. Poorly optimized code, but it's conceptually not too difficult.