[time-nuts] leapseconds, converting between GPS time (week, second) and UTC

[Michael Shields]

On Wed, Jan 16, 2019 at 7:00 AM Fiorenzo Cattaneo <fio at cattaneo.us> wrote:
> Not to mention NTP issues when leapseconds are addded (the only
> company which handled the last leap second correctly was google, as
> they slowly slewed at the rate of 1s/hour).

Note that the smear rate is not 1 s/hour, but 1 s over 24 hours
(41.667 ms/hour).  There is no slop; smeared time is now a precisely
defined and invertible function of UTC with leap seconds.