In the news:
"GPS will broadcast a 0 second leap second in 128 days"
https://news.ycombinator.com/item?id=27944776
First, there really isn't a thing called a "0 leap second", but if
you've read the GPS ICD wrt leap seconds, you can see why it was posted.
Second, it happened once before, in 200
On Sat 2021-07-24T18:50:50-0700 Tom Van Baak hath writ:
> First, there really isn't a thing called a "0 leap second", but if you've
> read the GPS ICD wrt leap seconds, you can see why it was posted. Second, it
> happened once before, in 2003.
"Modulo arithmetic class is tough"
-- Barbie
--
Steve