Leap seconds: Causing bugs even when they don’t happen
What we'd like to have:1. Use SI seconds2. Keep in sync with earth rotation3. Avoid leap secondsPick any two:- UT1: 2, 3 (not 1) [https://en.wikipedia.org/wiki/Universal_Time]- TAI: 1, 3 (not 2)  [https://en.wikipedia.org/wiki/International_Atomic_Time]- UTC: 1, 2 (not 3) [https://en.wikipedia.org/wiki/Coordinated_Universal_Time]