From: janburse@fastmail.fm   
      
   Hi,   
      
   Maybe AGI should take over proving.   
   Just take the humans out of the loop   
   of any programming, it leads to nowhere.   
      
   Bye   
      
    > Julio Di Egidio schrieb:   
    > > But we must thank MS for the nail in that coffin, too: they can't   
    > > be satisfied with just a Lean broken by design, they must own the   
    > > whole compartment: only poisoned meatballs for the public...   
    >   
    > -Julio   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)