XPost: comp.lang.prolog, sci.math   
   From: janburse@fastmail.fm   
      
   Hi,   
      
   Most of the admins in these discourse forums, are   
   not aware that you have full control of your   
   content. At least EricGT didn't know that   
      
   deleting content is 100% valid. And that most   
   discourse forums, Rocq being no exception, have   
   a terms of service TOS, that reads as follows:   
      
   "Content you submit to the forum belongs to you,   
   and you decide what permission to give others for it.   
   But at a minimum, you license the company to provide   
   content that you submit to the forum to other users   
   of the forum.   
      
   That special license allows the company to copy,   
   publish, and analyze content you submit to the forum.   
   When content you submit is removed from the forum,   
   whether by you or by the company, the company’s special   
   license ends when the last copy disappears from the   
   company’s backups, caches, and other systems.   
      
   The company last updated these terms on July 12, 2018"   
   https://discourse.rocq-prover.org/tos   
      
   So as a retailation to a virtual jail attack, you   
   can ask complete removal of all content. My experience   
   most virtual jail actions are illegal, politically   
      
   motivated, because the product has flaws, and the   
   "community" has something to hide, it should   
   not be allowed to have virtual jails in forums.   
      
   But since its nevertheless exercised by Nazi Retard   
   administrators, in retailation you can ask   
   for complete removal of all of your posts,   
      
   as longs as the ToS have not been changed. So watch   
   the date of the ToS. Some meta discourse forums   
   have different ToS, but the usual "happy engagament"   
      
   forums have blindly copied the ToS, that allows more control.   
      
   Bye   
      
   Mild Shock schrieb:   
   > Hi,   
   >   
   > Woa! I could have told you so. Although hired   
   > by EricGT to provoke me on SWI-Prolog discourse,   
   > and then EricGT kick me out of SWI-Prolog discourse,   
   >   
   > on grounds "not listening to staff". The same   
   > Julio Di Egidio who invented nonsense stuff on   
   > SWI-Prolog discouse, to annoy me.   
   >   
   > Had his lesson teached about the usual code of   
   > conduct in politically correct forums, where one   
   > has to adopt a "performative" way of telling   
   >   
   > technical thruths, either by not telling them,   
   > because the community has already lost their   
   > moral compas, and is only producing hot air,   
   >   
   > or just quitting the community. The lesson was   
   > already posted in 2023:   
   >   
   > Théo Zimmermann   
   > For anyone who might have followed this discussion or any of the recent   
   > discussions in which Julio Di Egidio was a participant and which turned   
   > sour, we (administrators of the Coq Zulip and members of the Code of   
   > Conduct enforcement team) want to let everyone know that we do not   
   > consider this behavior acceptable (regardless of its technical content).   
   > A prior warning had been addressed to Julio in August 2023. Following   
   > this warning and recent new reports, we have decided to send a new   
   > warning accompanied by a temporary ban, that could be lifted with a   
   > statement that the offender would follow our rules in the future.   
   >   
   > Bye   
   >   
   > Julio Di Egidio schrieb:   
   >> 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. >>   
   >> (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.   
   >>   
   >> *Plonk*   
   >>   
   >> Julio   
   >>   
   >   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)