Tom 7: Badness 0 (Three ways)
tom7.org
tom7.org
Tom7, if you’re out there (here), thank you for the free education and entertainment. You are an inspiration!
I am a 54-year old undergraduate in computer science. I don’t know from Curry-Howard (or Hurry-Coward), but this paper made me giggle with delight and glee. (Knuth invokes this delight in me as well, although I don’t understand most of his writings, yet.)
If nothing else, it’s inspired me to implement half-ass easter-egg achievement systems in any future ‘serious’ software I write.
Grep is very optimized for what it does.
https://www.youtube.com/watch?v=Y65FRxE7uMc&t=9m07s
(I'm not sure if it's also an error, or part of the joke, or if it just parses in a way that I can't accomplish on my own, that the text before the video reads "Way three (recommended) is to sit back and bathe in the 4k, 60Hz flashing lights that are Badness 0 (Apostrophe‛s version) is the newest installment in the Main Sequence:".)
Also, there is a [1] in the footnotes but not in the main body.
Yeah, some of those (like the backslashes) were clearly intentional. It didn't look to me like the "Is this" / "This is" was, but I guess anything can be put down to being part of the joke.
After the opening on how he's bothered by minor errors, I thought it had to be part of a joke, and it was a setup for a punchline to be revealed later in the paper. But eventually I realized, no, the PDF must not being displayed the way it was intended. I was reading it in Evince at first, but muPDF gave much better output.
> Be warned that due to "BUG", these seem only to display properly in Chrome. I am working on fixing "BUG" once I get some sleep; I have some leads due to helpful people on the blog.
Wow!! Great to see there are original, actually genuinely funny (not racist/sexist lowest common denominator jokes) and obviously intelligent people out there.
Very inspiring person and videos. Going to enjoy this rabbit hole
In this latest escapade, he takes inspiration from Knuth's line-packing algorithm used in typesetting beautiful print documents using the TeX typesetting system and intensifies it by training a large language model to automatically rephrase the input text until it is worded to minimize the "badness" of the page layout. Thus, "Badness 0".
It's that but also much more ambitious, impressive, and stupid.
The "three ways" are that you can see his technical writeup in its original words with layout using Knuth's algorithm in TeX, a variant of that article using his own layout engine (and thus slight variations on the wording that, plausibly, maintain the meaning and semantics), and then a video version.
Please don't comment about the voting on comments. It never does any good, and it makes boring reading
Please don't post comments saying that HN is turning into Reddit. It's a semi-noob illusion, as old as the hills.
use of LLMs to be fully justified.
EDIT: seems like spaces between words is nullified.
As implemented, hard mode doesn't count gray letters (letters nowhere in the solution) as hints. You're allowed to reuse gray letters, but true hard mode should prevent that.