On 2017-01-31 04:20 PM, Tim Shepard wrote:
Richard Clark <rcl...@noao.edu> wrote,
immediately comes to mind then it will have no difficulty handling
the non-normalized 23:59:60 and putting it 86401 seconds after
00:00:00 earlier that day. So here you can apply the new value of
(TAI-UTC) starting with the first second after the leap second.
It seems to me that 23:59:60 is 86400 seconds after 00:00:00 earlier
that day (on a day which will end with a leap second). Not 86401
seconds as you said.
Fence post. Seconds of day is typically zero-based, so the Leap Second
would be numbered 86400. That's 86401 seconds.
-Brooks
It is 00:00:00 of the next day (after a leap second) that would be
86401 seconds after 00:00:00 (of the day before the leap second).
I'm assuming that the timestamps you wrote refer uniformly to the
beginning of the second they label.
23:59:60.000 is 86400.000 seconds after 00:00:00.000 , and
corresponds to the beginning of the leap second.
23.59.60.999 is 86400.999 seconds after 00:00:00.000, and corresponds
to almost the end of the leap second, and is *almost* 86401 seconds
after the 00:00:00.000 earlier that day.
To me, Warner's recent posts have been helpful in understanding what
is going on during the leap second. (There may be multiple correct
ways of thinking about what happens during a leap second, but some
(like Warner's) seem better (more straightforward) than others.)
-Tim Shepard
s...@alum.mit.edu
_______________________________________________
LEAPSECS mailing list
LEAPSECS@leapsecond.com
https://pairlist6.pair.net/mailman/listinfo/leapsecs
_______________________________________________
LEAPSECS mailing list
LEAPSECS@leapsecond.com
https://pairlist6.pair.net/mailman/listinfo/leapsecs
