nanog mailing list archives
Re: F-ckin Leap Seconds, how do they work?
From: Saku Ytti <saku () ytti fi>
Date: Tue, 3 Jul 2012 23:09:53 +0300
On (2012-07-03 12:46 -0700), Owen DeLong wrote:
If you don't know that time is not monotonically increasing, then that only becomes a software bug when you codify your own ignorance into software you write.
If only all software could be ordered from you Owen, but in practice this is not possible. Some code will be written less intelligent people. And reviewing any code doing foo = timestamp+offset and if now > foo, virtually never expects time to move backwards. UTC doesn't move backwards (it goes 59 -> 60 -> 00). TAI does not move backwards. Unixtime moves backwards, like spanish inquisition no one expects that.
It is well known that leap seconds exist.
Quite. But it is not well known that unixtime travels backwards. -- ++ytti
Current thread:
- Re: F-ckin Leap Seconds, how do they work?, (continued)
- Re: F-ckin Leap Seconds, how do they work? Saku Ytti (Jul 03)
- Re: F-ckin Leap Seconds, how do they work? valdis . kletnieks (Jul 03)
- Re: F-ckin Leap Seconds, how do they work? Saku Ytti (Jul 03)
- Re: F-ckin Leap Seconds, how do they work? Owen DeLong (Jul 03)
- Re: F-ckin Leap Seconds, how do they work? Saku Ytti (Jul 03)
- Re: F-ckin Leap Seconds, how do they work? Nick Hilliard (Jul 03)
- Re: F-ckin Leap Seconds, how do they work? Saku Ytti (Jul 03)
- RE: F-ckin Leap Seconds, how do they work? Keith Medcalf (Jul 03)
- Re: F-ckin Leap Seconds, how do they work? Tony Finch (Jul 03)
- Re: F-ckin Leap Seconds, how do they work? Owen DeLong (Jul 03)
- Re: F-ckin Leap Seconds, how do they work? Saku Ytti (Jul 03)
- Re: F-ckin Leap Seconds, how do they work? Peter Lothberg (Jul 03)
- Re: F-ckin Leap Seconds, how do they work? Peter Lothberg (Jul 03)
- Re: F-ckin Leap Seconds, how do they work? Tony Finch (Jul 03)
- Re: F-ckin Leap Seconds, how do they work? Owen DeLong (Jul 03)
- Re: F-ckin Leap Seconds, how do they work? Chris Adams (Jul 03)
- Re: F-ckin Leap Seconds, how do they work? Jay Ashworth (Jul 03)
- Re: F-ckin Leap Seconds, how do they work? Majdi S. Abbas (Jul 03)
- Re: F-ckin Leap Seconds, how do they work? Paul Graydon (Jul 03)
- Re: F-ckin Leap Seconds, how do they work? Steve Allen (Jul 03)
- Re: F-ckin Leap Seconds, how do they work? Saku Ytti (Jul 03)