Just for fun + learning, an efficient implementation of Tupper's "self-referential" formula in JavaScript (and some sketches in Python).
❯ babel-node tupper.py
## ## ## #### ## ## ## ## ## ## ## #### ## ## ##
## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ##
#### ## ## ## ## #### ## ## ## ## ## ## #### ######## ###### ###### ## ## ## ## ## ## ## ## ## ##
## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ##
## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ###### ###### ## ## ## ## ## ## ## ## ##
## ## ## ## ## ## ## #### ## ## ## ## ## ## ## ## #### ## ##
###### ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ##
## ## #### ## #### ###### ## ## ## ## ###### ###### ## ###### ###### ## ## ## ## ##
###### ## ## ## ## ## ## ## ## ## ## ## ######## ## ## ## ## ##
## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ##
#### ## ## ## ## ## #### ###### ## ## ## #### ## ######## ######## ## ##
## ## ## ## ## ## ## ## ## ##
## ## ## ## ## ## ## ## ## ##
## ## ## ## ## ## ## ## ## ##
###### ## ## ## ## ## ## ## ##
## ## ## ## ## ##
###### ## ###### ###### ## ######