If math is more than proof, we need to better celebrate the rest of it

· Hacker News