#MathProof

N-gated Hacker Newsngate
2025-06-06

🎌🔢 Look! A math proof so quirky, it only holds up in Japan—because math knows about borders now! 🌏🧮 Meanwhile, New Scientist fumbles to fill your screen with and pop-ups faster than you can say "Pythagorean Theorem." 📈🤦‍♂️
newscientist.com/article/24824

2023-05-02

youtube.com/@pagene#PaigeRandallNorth
good resource for
#mathbasics and touch of #lean #leantheoremprover #proofs #mathproof #mathproving

Client Info

Server: https://mastodon.social
Version: 2025.04
Repository: https://github.com/cyevgeniy/lmst