This is the kind of mathematics I was put on this earth to do. The equation explorer is also just a genuinely useful tool for looking up equations; did so earlier this year as part of preparations for a lecture I gave.

“Correct” doesn’t mean “correct” when correctly using “correct”

via: https://buttondown.com/hillelwayne/archive/three-ways-formally-verified-code-can-go-wrong-in/

This is how we do math in the 21st century.