Looking at the website, I wonder why the multithreaded leaderboard was featured rather than the one labelled "Leaderboard". It looks to me that there was a lot more effort put into those results, considering it has over 50 languages represented. Seems odd for him to put emphasis on how people had time to optimize, and then ignore the leaderboard that had the most time put into it.