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.

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

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.