Nothing on this page gives me any idea of what this video is about.
(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.
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
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.
Don't bring monads into this
Wrappers are still responsible for proxying or handling errors and wrappers that fail to do so are wrapping poorly.
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:".)
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.
And the apostrophe is a single left quote.
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.
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.
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.
I read the Epsom's Version PDF before the video was released, and the typesetting was absolutely terrible.
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?
That's how Android Firefox mangles PDF also.
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.
The paper has the fifth occurrence of “Wikipedia” in lower case, which greatly irritated me in the Knuth version.
Wait, what's wrong with Wordle's hard mode?
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.
My understanding is in hard mode, you are not allowed to make a guess that you know is not the right answer. So you cannot use a letter in a spot where you know that letter does not belong.
Hm, yeah, you're right, that makes the most sense.
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.
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)
Tom7 is my favorite content creator. Each of his projects feels like a ~master’s thesis~ video dissertation. If you are not familiar with his work, please take some time to watch his other videos. They are all outstanding so I won’t recommend any specific one.
Tom7, if you’re out there (here), thank you for the free education and entertainment. You are an inspiration!
Wishes do come true https://news.ycombinator.com/item?id=40063261
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
Worth watching for the great punchline at the end alone...
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
The depth of talent here is unbelievable. Thanks Tom!
How is it possible to get Lorem Epsum?
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.
Wow. At first I thought it was just rambling. Now I'm alternating between "that's amazing" and "get help".
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.
I couldn't make it to the end of the "Badness 0 Knuth's version" paper because of the keming. Is it on purpose? I can't tell, it was too distracting to keep reading. Ironic.
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.
Thank you, Lorem.
Don't worry, by the end he has fully justified all of the diversions.
A truly, consistently end-to-end approach!
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.
Don't feel bad. It's not for everyone.
You have taken the first step towards understanding Tom7.
You didn't see the point?
The video explains the main idea(s) behind the two papers which are linked at the top of the page.
skip to 7:22, he explains what the video is about.
You are then in the correct headspace to experience it.
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.
Truly great works cannot be summarized
It's about many things