Hacker News Reader

If mathematicians didn't enjoy digging their own graves with formalization before, perhaps they will enjoy digging their own unmarked, mass graves now?

View on HN

We should burn the excavators and dig holes with our hands.

“We should give the password for our university laptops running LaTeX to the robots and go sit at home.”

Reply on news.ycombinator.com