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

▲

pixl97 a day ago | parent [-]

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

	▲	unknownian a day ago \| parent [-]
		“We should give the password for our university laptops running LaTeX to the robots and go sit at home.”