From: janburse@fastmail.fm   
      
   Hi,   
      
   A 2020 study analyzing 2,927 GitHub projects found   
   that many repositories quickly become unmaintained.   
   This implies that the majority of projects don’t   
   sustain long-term active development.   
      
   Another study reported 46% of repositories inactive   
   for at least six months, and only 13% active in the   
   last month, showing low ongoing engagement   
   across most repos.   
      
   Because millions of repos exist on GitHub, and   
   large portions are abandoned, inactive, or minimal   
   “toy” projects, the fraction of repositories that are   
   well-maintained, collaborative, and used in   
   production contexts is low—roughly estimated   
   to be around 1–2%.   
      
   The caravan moves forth, leaving behind the   
   occasional turd perfectly captures GitHub. Rename   
   GitHub, to TurdPit, and make Amber Heard their CEO.   
      
   Bye   
      
   Mild Shock schrieb:   
   > Hi,   
   >   
   > 1. Everybody’s a programmer now   
   >     The barrier to entry dropped dramatically — you can   
   >     become a "developer" with a few online tutorials   
   >     and a GitHub account.   
   >   
   > 2. Everybody’s an academic now   
   >     Academia expanded, but standards often fell. In   
   >     some places, it's publish or perish, so paper   
   >     mills and fake research flourish.   
   >   
   > 3. Signal Collapse ↔ Systemic Uncertainty   
   >     Credentials lose meaning, No reliable markers of   
   >     skill, Fragile systems built on shallow knowledge   
   >   
   > 4. Signal Collapse ↔ Systemic Uncertainty   
   >     Quantity overwhelms quality, Important truths get   
   >     buried, Bad signals drown good ones   
   >   
   > Etc..   
   >   
   > Bye   
   >   
   > Mild Shock schrieb:   
   >> Hi,   
   >>   
   >> Having 2544 issues is probably a bad sign.   
   >> I find this many issues here:   
   >>   
   >> https://github.com/rocq-prover/rocq/issues   
   >>   
   >> Mostlikely 90% of the issues can be move to   
   >> the new discussion feature of GitHub.   
   >>   
   >> LoL   
   >>   
   >> Bye   
   >>   
   >> P.S.: Same holds for Scryer Prolog with 406 issues.   
   >>   
   >> Mild Shock schrieb:   
   >>> 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)