4 ms·

We are still in the pigsty compared to math

• Yoric 1y ago
  I'd have to disagree. We're much less ambiguous than math. In fact, according to theory, we're writing executable proofs.