2 ms·
> it sacrifices precision that is essential in the long term. Definitions are precise, not names. Names aren't what makes math work, it's the precise definitio
by guerrilla 7y ago
> it sacrifices precision that is essential in the long term.
Definitions are precise, not names. Names aren't what makes math work, it's the precise definitions, inference rules and theorems, regardless of the language in which they are written. 'printf' does not work the same in all programming language yet everyone knows what that name means.