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: fsxNet Usenet Gateway (21:1/5)