As mathematicians, we find solace in the void of the universe. We embrace it, we suppose the existence of the empty set, and we are forever saved from the appar

As mathematicians, we find solace in the void of the universe. We embrace it, we suppose the existence of the empty set, and we are forever saved from the apparent infinitude of assaults against the great potential of the human condition. Often, this kind of paradise is interrupted. Naive sets give way to ones with hyphenated names, and then some mathematicians prefer to branch before such hyphenated names, and in turn prolong the paradise that indeed continues to exist. Some mathematicians decide to focus on the branching point, call it Paradise in its own respect, and appreciate it for what it is. Not for what it is not. At the turn of the 19th century to the 20th century, a new kind of mathematician emerged that branched into an emerging area. This emerging area specialises in a form of logic popularly referred to as coding or programming. Very quickly, it turned out that this is a more social area of mathematics (though pure mathematics is indefinitely married to the concept of the mathematical seminar). However, it is implicitly social. The sociability is in the form of subtle comments, rants about Git conventions, and indeed about the use of whitespace. This convention somehow seems to have a purpose. That you can write a story through codes and comments, without resorting to the actual English language, but rather the through implementing the English Universal Psuedocode Nonconvention. And though there shall always be trouble in Paradise, the beauty of this strange new branch is that we can read it as prose—not unlike the great French mathematicians used to do—and have a paradise simply in the bliss of effort. Of course, of the dark art of machine code, and indeed of the strange validity of mathematics in general, we shall not say much, but simply read jokes about Yoda and try not to argue with a program that beyond all expectation continues to give the correct mapping to the codomain for all individual function inputs from its domain that we can enumerate in a reasonable amount of time.