[Python-ideas] High Precision datetime

[Wes Turner]

https://en.wikipedia.org/wiki/Leap_second :

> Insertion of each UTC leap second is usually decided about six months in
advance by the International Earth Rotation and Reference Systems Service
(IERS), when needed to ensure that the difference between the UTC and UT1
readings will never exceed 0.9 seconds

On Thursday, May 17, 2018, Wes Turner <wes.turner at gmail.com> wrote:

> AstroPy solves for leap seconds [1][2] according to the IAU ERFA (SOFA)
> library [3] and the IERS-B and IERS-A tables [4]. IERS-B tables ship with
> AstroPy. The latest IERS-A tables ("from 1973 though one year into the
> future") auto-download on first use [5].
>
> [1] http://docs.astropy.org/en/stable/time/#time-scales-for-time-deltas
> [2] http://docs.astropy.org/en/stable/time/#writing-a-custom-format
> [3] "Leap second day utc2tai interpolation"
> https://github.com/astropy/astropy/issues/5369
> [4] https://github.com/astropy/astropy/pull/4436
> [5] http://docs.astropy.org/en/stable/utils/iers.html
>
>
> On Thursday, May 17, 2018, Alexander Belopolsky <
> alexander.belopolsky at gmail.com> wrote:
>
>>
>>
>> On Thu, May 17, 2018 at 3:13 PM Tim Peters <tim.peters at gmail.com> wrote:
>>
>>> [Chris Barker]
>>> > Does that support the other way -- or do we never lose a leap second
>>> anyway?
>>> > (showing ignorance here)
>>>
>>> Alexander covered the Python part of this,  ...
>>>
>>
>> No, I did not.  I did not realize that the question was about skipping a
>> second instead of inserting it.  Yes, regardless of whether it is possible
>> given the physics of Earth rotation, negative leap seconds can be
>> supported.  They simply become "gaps" in PEP 495 terminology.  Check out
>> PEP 495 and read "second" whenever you see "hour". :-)
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-ideas/attachments/20180517/a33513b6/attachment-0001.html>