leapsecond.com
↩

GPS, UTC and TAI Clocks (2001)
2023-04-25 16:57:18 (Hacker News)
Source: Hacker News
The state of the art in amateur timekeeping (2003) [pdf]
2022-12-24 02:33:32 (Hacker News)
Source: Hacker News
GPS does not account for leap seconds (by design)
2022-11-16 01:13:08 (Hacker News)
Source: Hacker News

↩