David R. MacIver's Blog

Programming vs Mathematics

This post was originally published at notebook.drmaciver.com.

Programming: “Custom operators and single letter variable names? Why so terse? Bytes are cheap! Suspish. Not sure if want. Code should be optimised for reading, not writing!”

Mathematics: “Let (, , ) be as in theorem 17.1. If () is a normal R-domain, then (() ) is quasi-uniform.”

(No, that’s not an actual quote and those terms don’t really mean anything)