3 ms·

Got confused for a second, but then I noticed the url. Note to anyone else: it's on pavelgraham.com, not paulgraham.com