#pep817 — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #pep817, aggregated by home.social.
-
The biggest PEP:
❯ wc -w peps/pep-*.rst | sort --reverse | head -10
1854017 total
17128 peps/pep-0000.rst
14184 peps/pep-0817.rst
13436 peps/pep-3156.rst
13099 peps/pep-0773.rst
12978 peps/pep-0484.rst
12910 peps/pep-0622.rst
12606 peps/pep-0642.rst
12400 peps/pep-0810.rst
11994 peps/pep-0703.rst(PEP 0 is the autogenerated index page)