4 ms·
Pick any two: 1. 86400 seconds a day 2. SI seconds 3. Noon synced up with the sun With UTC, we drop 1. With UT1, we drop 2. With TAI, we drop 3. Maybe we
by FabHK 5y ago
Pick any two:
1. 86400 seconds a day
2. SI seconds
3. Noon synced up with the sun
With UTC, we drop 1.
With UT1, we drop 2.
With TAI, we drop 3.
Maybe we should have gone with TAI, or with UT1 - I think that's what Julia does, sort of:
https://docs.julialang.org/en/v1/stdlib/Dates/#footnote-1 https://docs.julialang.org/en/v1/stdlib/Dates/#footnote-1
- mavhc 5y agoYep, just use TAI, you're already converting time to show it locally, so no problem also including leap seconds in that conversion
- bumbledraven 5y agoUsing TAI was also djb's solution to the problem. https://cr.yp.to/proto/utctai.html https://cr.yp.to/proto/utctai.html