2 ms·

Nice little aside, that he doesn't mention in the article: he was an intern when he made this. Great work.