synthetic_apriori

joined 1 year ago
MODERATOR OF
[–] [email protected] 15 points 1 year ago (4 children)

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.

[–] [email protected] 7 points 1 year ago (2 children)

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

[–] [email protected] 13 points 1 year ago* (last edited 1 year ago) (1 children)

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

 

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

[–] [email protected] 14 points 1 year ago (1 children)

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

[–] [email protected] 2 points 1 year ago* (last edited 1 year ago)

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

[–] [email protected] 3 points 1 year ago

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.