Tom 7: Badness 0 (Three ways)(tom7.org)
tom7.org
Tom 7: Badness 0 (Three ways)
http://tom7.org/bovex/
69 comments
Wishes do come true https://news.ycombinator.com/item?id=40063261
Every Tom7 video is a work of humbling genius that—just by virtue of knowing about them—makes me feel like I'm in some sort of secret club of people smarter than me.
(Read the paper, didn’t watch the video)
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.
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.
That also struck me as a great way to make software more whimsical. Imagine if you randomly got an "Achievement unlocked!" message if you churn through more than 10 GB of data in a single invocation of `grep` for the first time or something. So many possibilities!
For something user facing sure but trying to debug why _sometimes_ my grep job hangs with large data dumps because my popen3 didn't know to consume from stderr because of your whimsicle message would be pretty rage inducing
Pretty much your fault entirely for choosing to use my tool but not reading at least the README.md, which would explicitly state that there might be achievement texts on stderr. Anyway why output that stuff on the standard streams anyway when every modern OS has a perfectly fine window popup functionality with associated sound effects.
Why isn't your shell consuming stderr? Errors happen.
If the UI is my shell then it is. If it's part of a larger script being executed by python embedded in a cron job wrapped in a burrito, it may not be
If you've got Python, you shouldn't be running grep within it, just open the file with Python and search through it in the usual ways. Far less flaky than a subprocess.
Shouldn't, sure. But people use software in all kinds of sub-optimal ways, and it would behoove an author to make sure that it doesn't fail dramatically when this happens.
I'm not even sure it's suboptimal to shell out to grep instead of writing a bespoke search in Python. It would depend on the amount of data I'm sifting through.
Grep is very optimized for what it does.
Grep is very optimized for what it does.
You misunderstand entirely how much the author of any software with "achievements" cares about whether it works well in shell scripts and/or from python.
Wrappers are still responsible for proxying or handling errors and wrappers that fail to do so are wrapping poorly.
Don't bring monads into this
100%-ing it would be a fun speedrun.
Do I win anything for noting, in a video about hyper-detail orientation, that, when the text on screen says "Is this the most beautiful ____", the voice-over says "This is the most beautiful ____"?
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:".)
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:".)
There are quite a few errors in the presentation that seem intended to annoy detail-oriented people. One that stood out to me was the use of backslashes in his website URL.
In the paper, at citation [2] where he talks about mal-formatted URLs and fixing punctuation on Wikipedia, the footnote citation is a broken (and line-broken) link to the Wikipedia page.
Also, there is a [1] in the footnotes but not in the main body.
Also, there is a [1] in the footnotes but not in the main body.
The pdf had absolutely horrible keming (long words were visibly broken into their component parts) on my mobile reader which I thought was a deliberate part of the joke until I opened it on desktop and it looked fine. I assume it was perhaps substituting a different font or something.
And the apostrophe is a single left quote.
> There are quite a few errors in the presentation that seem intended to annoy detail-oriented people. One that stood out to me was the use of backslashes in his website URL.
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.
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.
I read the Epsom's Version PDF before the video was released, and the typesetting was absolutely terrible.
https://imgur.com/a/wjK5br5
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.
https://imgur.com/a/wjK5br5
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.
It's bizarre to me that different applications display PDFs differently. Isn't one of the primary purposes of PDF to have a consistent typesetting?
PDF is a huge standard and the canonical implementation isn't open source. Still an improvement on postscript by not being as easily turing complete.
He does mention in the text above the video:
> 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.
> 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.
That's how Android Firefox mangles PDF also.
The paper has the fifth occurrence of “Wikipedia” in lower case, which greatly irritated me in the Knuth version.
This guy is great. My favorite of his videos is the one where he has an NES playing SNES games - https://www.youtube.com/watch?v=ar9WRwCiSr0&t=142s
Never heard of this person, so watched the snes to nes video.
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
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
Worth watching for the great punchline at the end alone...
Nothing on this page gives me any idea of what this video is about.
You're getting a lot of glib answers, but in all seriousness, this is one of the amazing things about tom7 videos. It sometimes starts by appearing to be about nonsense or triviality, but as he weaves all these weird stories, they start to come together into observations that are absolutely brilliant and funny and he writes code to demonstrate what he's saying. I highly recommend "Harder Drive: Hard drives we didn't want or need" as an intro to his style, his humor, and the absurd lengths he will go to in order to prove a point. It's in three chapters and the middle chapter still blows my mind.
Tom7 is a somewhat well-known mad computer scientist who specializes in technically ambitious projects of limited utility.
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.
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.
You have taken the first step towards understanding Tom7.
It's about aligning text to fit a specific length using language models.
Why was I down voted for accurately summarizing the video? Sorry for not playing along with the joke I guess. HN is bringing more like reddit every day.
People can downvote you for any reason, don't worry about it. If I had to guess, someone may have mistaken your summary as a shallow dismissal of the work. On another note, your reply comment is addressed by two different HN guidelines which is impressive.
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.
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.
Thank you, Lorem.
You are then in the correct headspace to experience it.
Truly great works cannot be summarized
The video explains the main idea(s) behind the two papers which are linked at the top of the page.
It's about many things
skip to 7:22, he explains what the video is about.
[deleted]
Don't feel bad. It's not for everyone.
You didn't see the point?
I enjoyed the Garbage Collector algorithm he chose: "I have 256GB RAM in my machine."
Wow. At first I thought it was just rambling. Now I'm alternating between "that's amazing" and "get help".
The depth of talent here is unbelievable. Thanks Tom!
Chromium handles two versions of PDF just fine except that
use of LLMs to be fully justified.
EDIT: seems like spaces between words is nullified.
use of LLMs to be fully justified.
EDIT: seems like spaces between words is nullified.
Wait, what's wrong with Wordle's hard mode?
> Hard Mode: Any revealed hints must be used in subsequent guesses
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.
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.
Oh hmm, I've never thought of gray letters as hints, more like the absence of hints.
Some wordle clones handle this correctly, like https://term.ooo (Portuguese language)
In his example he knows 3 of the colours as indicated by yellow but he also knows that those letters are not in those positions and hard mode let's him make bad guesses using those letters in the same positions again when it shouldnt
But hard mode only says the guesses must be used, not that they mustn't be used in the same spots.
Tom7, if you’re out there (here), thank you for the free education and entertainment. You are an inspiration!