News for hackers. Stuff that matters.
Re:How to Read Mathematics by x14 on Wednesday December 13, 2017 @11:52AM (#15915416)
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.
Re:How to Read Mathematics by platz on Wednesday December 13, 2017 @11:54AM (#15915435)
try 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.