[AnimalMuppet]

> Problems that actually matter is such a good indicator that someone has no idea what they're talking about.

> Formalization and proofing is what MATTERS. If you ain't got that, you're basically just guessing

This is how you become irrelevant. "Problems that actually matter" are the problems that actually matter - matter to the people who are trying to write programs. If you're trying to write proofs, then formalizing and proofing matter. More of us are trying to write programs, though.

[Risord]

I think "proof" shouldn't be taken too literally. At the end stronger type system make easier to craft correctly working programs and less lottery machines.