5 ms·

For anyone interested, that story was discussed in https://news.ycombinator.com/item?id=18299354 https://news.ycombinator.com/item?id=18299354.