From: janburse@fastmail.fm   
      
   Hi,   
      
   Maybe they should double check what   
   modern compilers do or what modern IDEs   
   to in object orient programming languages.   
      
   How it started:   
      
   How to Make Ad Hoc Proof Automation Less Ad Hoc   
   https://people.mpi-sws.org/~beta/lessadhoc/   
      
   How its going:   
      
   Optimizing Canonical Structures   
   https://inria.hal.science/hal-05148851v1/document   
      
   The original paper termed canonical structures,   
   it has a nice visa à visa. “Type Class” Programming   
   versus “Logic” Programming,   
      
   giving it a less functional programming   
   spin. But hell wasn't there Prolog++ already   
   in the past?   
      
   The newest paper shows new style of research,   
   citing garbage tickets from TurdPit inside   
   a paper, and just listing some further   
      
   untested and shallow research Turds. Kind   
   of institutionalize Trial & Error. They could   
   equally well shoot their own Foot and   
      
   then jump in circles.   
      
   Bye   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)