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.

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

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

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).

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

“[CENSORED]”—also Terry Davis

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.

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