Just learned something about the ever infamous Tipper's self referential formula. Apparently, it isn't a self referential formula, it's a formula for turning a set of data into a grid. It simply tells a computer whether or not to draw a pixel based on a set of data. That's it. Not really anything special :/

It's actually a bit more than that. Its graph shows *all* possible "screens" (this is the real cool thing about this simple inequality), and you just select a slice of the graph domain "vertically" that corresponds to "screen" *you* want (among the zillions of screens, and usually people select a handheld calculator-style display of the formula) and that slice's starting y coordinate is in fact calculated based on the encoded screen bits you want (another real cool thing).