Leap seconds and what to do with them [2009] | Hacker News Reader