[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.
Warner
    
    
More information about the LEAPSECS
mailing list