POSIX time is linear. It's mainline NTP's fetish with leap seconds imposed on top of POSIX that's nonlinear.
-
-
Replying to @RichFelker
Only TAI is linear. POSIX time is not TAI (except on systems like mine). How can you say POSIX time is linear?
1 reply 0 retweets 0 likes -
Replying to @laurentbercot
Perhaps "linear" is underspecified and you have some idea of "linear" that I don't.
1 reply 0 retweets 0 likes -
Replying to @RichFelker @laurentbercot
Time as a physically invariant quantity only makes sense within a single inertial frame. Using SI secs (TAI) to coordinate...
1 reply 0 retweets 0 likes -
Replying to @RichFelker @laurentbercot
...human activity across different frames by declaring one canonical is completely arbitrary, not "more correct".
1 reply 0 retweets 0 likes -
Replying to @RichFelker @laurentbercot
The only things that matter are continuity, monotonicity, local uniformity, and having _a_ common reference time.
1 reply 0 retweets 0 likes -
Replying to @RichFelker
I guess "linearity" is what you'd call "global uniformity". A TAI second is the same no matter when it happens. I like that.
1 reply 0 retweets 0 likes -
Replying to @laurentbercot
This uniformity only exists in the reference frame of the authority; it's not valid in the reference frames where you use it.
1 reply 0 retweets 0 likes -
Replying to @RichFelker
I suspect we seriously misunderstand each other. How is the SI definition of a second invalid anywhere?
1 reply 0 retweets 0 likes -
Replying to @laurentbercot
The SI definition of a second is (presumably) locally-valid anywhere, but TAI is not your inertial frame's local SI second.
1 reply 0 retweets 0 likes
TAI is a synchronization (via measurement & published offsets) of SI seconds in a multitude of reference frames.
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.