Melting ice solves leap-second problem – for now | Dark Hacker News