Ah, Randall. Because of course all us nerds already know about leap seconds, and that Google has for a decade implemented leap seconds by "smearing" them over the day rather than as a discontinuity[1].<p>It makes me want to read it as a Jerry Seinfeld joke. "What's the deal with Google's leap second? It's not a leap, and it's not a second."<p>[1] <a href="https://developers.google.com/time/smear" rel="nofollow">https://developers.google.com/time/smear</a>