On Feb 12, 2014, at 9:09 AM, Rob Seaman wrote: > On Feb 12, 2014, at 8:47 AM, Warner Losh <i...@bsdimp.com> 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.
Untethered speculation? Sweet! I've never had my direct, personal experiences in a topic be called that before. Warner _______________________________________________ LEAPSECS mailing list LEAPSECS@leapsecond.com http://six.pairlist.net/mailman/listinfo/leapsecs
