Studying the body of human literature as a whole, is like swimming in a river of vomit. Most of what is written is trash. Some of what is written in internally coherent. Many things which could be coherent, are not yet strung together. It is the last bit which I am mainly concern myself with.
College was a great time to started on this. Then I put it on the bench for 18 years and now I must drown myself again in this river of shit.
Today : there are about half-a-dozen leading maths proof assistants, and maybe two score systems worth mentioning. And no standard interchange format. What the fuck is this ...
No comments :
Post a Comment