3 ms·

Yeah, that's why in the original submission I had "(by Josh Bloch)" appended to the title. HN mods removed it.