We are still in the pigsty compared to math

I'd have to disagree. We're much less ambiguous than math.

In fact, according to theory, we're writing executable proofs.