It’s telling that throughout the entire article, neither the author nor the quoted individuals make a single mention of the personal and societal importance of mental health.

deleted by creator

Exercise/sports have so many positive benefits in the context of education. The benefits toward discipline and physical health are obvious, but they also promote greater mental sharpness and spiritual well-being.

Anecdotally, most of my mathematics professors were big on exercise in one form or another. I had a older professor who could easily sprint up the six flights of stairs to his office, and I had another professor who was into running marathons. I even heard that at one point, all the logicians at Cornell became very into weightlifting.

Anyways, my point is that any well-rounded education should involve sports (though, maybe not necessarily American football; I can agree with the other user on that front).

deleted by creator

I spread shredded cheese on a plate and microwaved it. More than once.

“An idiot admires complexity, a genius admires simplicity.”—Terry Davis

“[CENSORED]”—also Terry Davis

and then you grow a bit older and realize that coding has nothing to do with math, instead it’s got everything to do with problem solving.

Wait until you realize what math is all about

This would be great to post on /c/formal_methods which was just created!

I was about to suggest this myself! I would love a formal methods community here. I’m a new PhD student and my research interest is formal methods and proof verification so I’ve been looking for more ways to interact with the formal methods community. There’s quite a lot of talk about proof assistants over on mathstodon.xyz so I imagine a formal methods home here on Lemmy would be appreciated.