3 ms·
I know it's a long time. But it's probably more like 200-250 years or so to be off by half of 15 minutes (which presumably is when you'd do a 15 minute step).
by mlyle 2y ago
I know it's a long time. But it's probably more like 200-250 years or so to be off by half of 15 minutes (which presumably is when you'd do a 15 minute step). And it might be a lot less than this.
In any case, I think frequent, well-tested procedures are better than an exceptional procedure on the order of decades or centuries.
- naniwaduni 2y agoThe point is that it is a frequent, well-tested procedure, because governments decide they want to be in a different time zone (or have different DST rules) all the time.
- mlyle 2y agoYes, but as stated-- 15 minute offset changes is a very infrequent procedure, and not every device consumes new tz data. > > > but a 15 minute adjustment within a zone suddenly is going to screw a lot of devices" There's a whole lot of devices where all you get is a manual hour offset and a daylight flag for outdated tz data.