[LEAPSECS] happy anniversary pips

Warner Losh imp at bsdimp.com
Wed Feb 12 11:35:45 EST 2014

On Feb 12, 2014, at 9:09 AM, Rob Seaman wrote:

> 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.

Untethered speculation? Sweet! I've never had my direct, personal experiences in a topic be called that before.


More information about the LEAPSECS mailing list