[LEAPSECS] happy anniversary pips

[Rob Seaman]

On Feb 12, 2014, at 8:47 AM, Warner Losh <imp at 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.

Rob