On Feb 12, 2014, at 8:47 AM, Warner Losh <[email protected]> wrote:
> The linux kernel has been touted by some of its proponents as the most tested
> and verified kernel around. Some may quibble with this characterization, but
> if not the most, certainly one of the most. And even so, this problem with
> leap seconds managed to escape into released kernels. If that happened, here,
> what hope is there for other, less well tested systems.
There are many much more complex computer science challenges. In fact, the
entire purpose of these things called computers is to deal efficiently with
hellaciously complicated problems. This problem ain't that intractable.
Meanwhile, whatever discussions occur on this list should flow from documented
case studies:
http://www.cacr.caltech.edu/futureofutc/preprints/files/2_AAS%2013-502_Allen.pdf
Not untethered speculation.
Rob
_______________________________________________
LEAPSECS mailing list
[email protected]
http://six.pairlist.net/mailman/listinfo/leapsecs
