Skip to content
Hallway
0:00 / 0:00

#tom7#tex#typesetting

Badness 0 (Apostrophe‛s version)

suckerpinch

202K subscribers • 15 videos on Hallway

YouTube
  • Recommended by 5 people: 4 on Hacker News and 1 on Lobsters.
  • Presented by Tom Murphy VII, computer scientist and researcher

Advanced. Deep dive for people who know the field.

258K views2 years ago5 recommendations

Programming languagesComputer scienceLanguage design and type systemsComputation and complexity

Tom Murphy VII explores the history of TeX, typesetting, and type systems through an absurd programming experiment.

Never before seen pilot episode. Keywords: Types If you see any errors, please post about them in the comment section! Source code, papers, etc.: tom7.org/bovex

Why it's here

5 people recommend this

What people say. Recommended for its highly entertaining, meticulous, and creative exploration of typesetting, TeX history, and type systems.

pronoiacon Lobsters • Recommends

Badness 0 (Apostrophe‛s version)
40View on Lobsters

josephgon Hacker News • Recommends

On “GNU Justified Public License”

This was made by Tom7, who has many amazing videos about doing ridiculous things with programming on YouTube. The talk on this work is here: link to this video
View on Hacker News

jimmySixDOFon Hacker News • Recommends

On “LaTeX is the first PDF/UA-2 compliance accessible PDF producer”

and for anyone in the TeX User Group there is this fun experiment in Typesetting which starts off with the amazing TeX origin story link to this video
View on Hacker News

progvalon Hacker News • Recommends

On “Mysterious Intrigue Around an x86 "Corporate Entity Other Than Intel/AMD"”

If you want more of this: link to this video . You can skip to 7:45 if the long intro bores you, but it's worth listening to it.
View on Hacker News

asddubson Hacker News • Recommends

On “The Tears of Donald Knuth”

You might enjoy this video: link to this video The connection to knuth is tangential to the actual video subject, but it does contrast knuth to LLMs as a framing device
View on Hacker News

LukeShuon Hacker News • Mentions

On “GNU Justified Public License”

This should not have "(2007)" in the title; 2007 is the date of the GPL v3, which this is a 2024 mimicry of (as explained in link to this video ).
View on Hacker News

JadeNBon Hacker News • Mentions

On “Tom 7: Badness 0 (Three ways)”

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 ____"? link to this video (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:".)
View on Hacker News

btownon Hacker News • Mentions

On “Harder Drive: hard drives we didn't want, or need (2022) [video]”

That said, if Tom7 wasn’t meticulous about typesetting all his results, we would never have been blessed with link to this video
View on Hacker News