4 ms·

I think this needs a "(2017)" string in the title. I also remember seeing this on HN (probably in 2017 then).