XPost: comp.lang.prolog, comp.theory, comp.programming   
   XPost: comp.software-eng, sci.math   
   From: julio@diegidio.name   
      
   On 30/11/2025 09:52, Julio Di Egidio wrote:   
   > On 10/07/2025 14:31, Julio Di Egidio wrote:   
   >> On 10/07/2025 14:01, Julio Di Egidio wrote:   
   >>> The end of the world is nigh:   
   >>>   
   >>>    
   >>>   
   >>>  From interactive proof assistant to completely upside-down and   
   >>> completely broken, and not just on that at that point of course.   
   >>>   
   >>> And the fucking shamelessness...   
   >>   
   >> 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...   
   >   
   > Follow up on Rocq and the appointed pieces of ungodly shit:   
   >   
   > Now if I try to login:   
   >   
   > << Account suspended: No constructive purpose to their actions other   
   > than creating dissent within the community. >>   
   >   
   > You pieces of FRAUDULENT UNGODLY SHIT, the defamation added to the   
   > abuse, abuse of power as well as personal.   
   >   
   > And the last blow, just to mention the icing on the cake, if the   
   > great people they have been onboarding:   
   >   
   > << FYI: I have no animosity towards you. >>   
      
   Forgot the link, should anybody be interested:   
      
      
      
      
   My complains and the flags to the mods have been hidden/deleted as   
   abuse, pieces of ungodly fraudulent, not just retarded, shit......   
      
   And now go fuck yourself.   
      
   *Plonk*   
      
   -Julio   
      
   > (Dear Thomas I-am-a-retarded-Nazi Lamiaux, FYI I don't give a shit   
   > whether you smile or not while shitting all over the place, you   
   > fucking nazi-retarded pieces of shit, you and the whole gang...)   
   >   
   > YOU UNGODLY FRAUDULENT AND RETARDED PIECES OF SHIT, now it's all   
   > Microsoft and Lean and Lean 2 and sub-Lean and proto-Lean... with   
   > Microsoft's world-famous best practices, top guidance and impeccable   
   > products tailored to their customers' real needs...   
   >   
   > Indeed you managers and maintainers and marketers and the fucking   
   > corporate ladder and the whole fucking pyramid indeed: on behalf   
   > of real humanity, I wish you all a rapid ass cancer!!   
   >   
   > Bottom line:   
   >   
   > Fuck you. And fuck you especially for 20 years of Coq that you have   
   > managed to destroy in less than 5 years, you pieces of pyramidic shit.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)