5 ms·
Just my perspective, but mathematics seems like badly-written software to me. Shitty single-letter variable names with all the code in main() without any separa
by x14 9y ago
Just my perspective, but mathematics seems like badly-written software to me. Shitty single-letter variable names with all the code in main() without any separation of concerns.
- platz 9y agotry reading some proofs in coq to see how badly software does in making mathematics readable. nevertheless, i agree for things like white papers the overloading of identifiers is frustrating.