Re:GPS does not account for leap seconds
by pencilguin on Wednesday November 16, 2022 @09:05AM
(#33623076)
Leap seconds are an abomination. Anybody who needs astronomical time is not using UTC anyway. If necessary, we could have a leap minute in a century or two.
Google's 24-hour smear makes leap seconds, bad enough already, ever so much worse.
We could fix the problem just by never announcing another one.
The page is a javascript animation of "GPS system time", UTC, and TAI showing how they all tick together but are offset from each other by an integer number of seconds. It's a fixed integer in the case of TAI and GPS and a variable integer in the case of UTC.