I think they’re trying to train a Scott Aaronson, not a John Carmack. A Scott Aaronson really does work by not actually using a computer much for anything other than typesetting LaTeX.
And that sounds like a brilliant idea. Most of the problems I have with having being forced to write algorithms on paper at times disappear right there. It’s even worse than forcing people to write sentences on paper, given the need for correctness in the details.
I think they’re trying to train a Scott Aaronson, not a John Carmack. A Scott Aaronson really does work by not actually using a computer much for anything other than typesetting LaTeX.
And that sounds like a brilliant idea. Most of the problems I have with having being forced to write algorithms on paper at times disappear right there. It’s even worse than forcing people to write sentences on paper, given the need for correctness in the details.
Oh, they don’t have to write on paper. I just don’t know any maths students who do. Handwriting maths is easier than typesetting it.
(At least it is for people who are bad at typesetting.)
Wolfram-style automatic formatting buttons ftw.
Maybe try with a bit less sarcasm? I’m having genuine trouble parsing what you are objecting to, exactly.
There isn’t any sarcasm in the grandparent.