Leap seconds: Causing bugs even when they don’t happen
What we'd like to have:<p>1. Use SI seconds<p>2. Keep in sync with earth rotation<p>3. Avoid leap seconds<p>Pick any two:<p>- UT1: 2, 3 (not 1) [<a href="https://en.wikipedia.org/wiki/Universal_Time" rel="nofollow">https://en.wikipedia.org/wiki/Universal_Time</a>]<p>- TAI: 1, 3 (not 2)  [<a href="https://en.wikipedia.org/wiki/International_Atomic_Time" rel="nofollow">https://en.wikipedia.org/wiki/International_Atomic_Time</a>]<p>- UTC: 1, 2 (not 3) [<a href="https://en.wikipedia.org/wiki/Coordinated_Universal_Time" rel="nofollow">https://en.wikipedia.org/wiki/Coordinated_Universal_Time</a>]