From Newsgroup: sci.physics

Hi,

A 2020 study analyzing 2,927 GitHub projects found
that many repositories quickly become unmaintained.
This implies that the majority of projects donrCOt
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
rCLtoyrCY projects, the fraction of repositories that are
well-maintained, collaborative, and used in
production contexts is lowrCoroughly estimated
to be around 1rCo2%.

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. EverybodyrCOs a programmer now
-a-a The barrier to entry dropped dramatically rCo you can
-a-a become a "developer" with a few online tutorials
-a-a and a GitHub account.

2. EverybodyrCOs an academic now
-a-a Academia expanded, but standards often fell. In
-a-a some places, it's publish or perish, so paper
-a-a mills and fake research flourish.

3. Signal Collapse rao Systemic Uncertainty
-a-a Credentials lose meaning, No reliable markers of
-a-a skill, Fragile systems built on shallow knowledge

4. Signal Collapse rao Systemic Uncertainty
-a-a Quantity overwhelms quality, Important truths get
-a-a 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

--- Synchronet 3.21a-Linux NewsLink 1.2