Mark Moon

“A goal is not always meant to be reached, it often serves simply as something to aim at.”
― Bruce Lee

“Talk is cheap. Show me the code.”
― Linus Torvalds

“There is more scholarly work on the life-habits of the dung fly than on existential risks [to humanity].”
― Nick Bostrom

“...the following parable may be useful. Long ago, when shepherds wanted to see if two herds of sheep were isomorphic, they would look for an explicit isomorphism. In other words, they would line up both herds and try to match each sheep in one herd with a sheep in the other. But one day, along came a shepherd who invented decategorification. She realized one could take each herd and ‘count’ it, setting up an isomorphism between it and some set of ‘numbers’, which were nonsense words like ‘one, two, three, . . . ’ specially designed for this purpose. By comparing the resulting numbers, she could show that two herds were isomorphic without explicitly establishing an isomorphism! In short, by decategorifying the category of finite sets, the set of natural numbers was invented. According to this parable, decategorification started out as a stroke of mathematical genius. Only later did it become a matter of dumb habit, which we are now struggling to overcome by means of categorification.”
― John C. Baez