3 ms·This was on HN several days ago, is it a double post?by ngneer 7y agoThis was on HN several days ago, is it a double post?