Ask HN: Are systems ready for the first negative leap second?