Ok, let's take the title from the video instead. Thanks for pointing this out! Sometimes the best work hides behind dry or modest language.
It's easy enough, albeit annoying, to brush away the inflated mediocre. It's so much harder to locate the unseen gems.
Edit: ah, I see - the video is from 2017, and there was a thread back then too: https://news.ycombinator.com/item?id=14471931. I guess we'll make an ugly hybrid of the titles.