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.

1

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

[-] synthetic_apriori@programming.dev 13 points 1 year ago* (last edited 1 year ago)

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

1
1
submitted 1 year ago* (last edited 1 year ago) by synthetic_apriori@programming.dev to c/formal_methods@programming.dev

I saw this posted on r/ProgrammingLanguages. I hadn't heard of this language before, but it looks neat.

https://en.wikipedia.org/wiki/Dafny

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

[-] synthetic_apriori@programming.dev 2 points 1 year ago* (last edited 1 year ago)

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

1
submitted 1 year ago* (last edited 1 year ago) by synthetic_apriori@programming.dev to c/formal_methods@programming.dev

synthetic_apriori

joined 1 year ago
MODERATOR OF