3 ms·This is pedantry. OP's context was clear, and a comment thread on HN is not "the arc of history".by homonculus1 7y agoThis is pedantry. OP's context was clear, and a comment thread on HN is not "the arc of history".