2024-09-23-TPAC-Integrity-for-the-Web.pdf
agregore-browser/download-extensions.js at master · AgregoreWeb/agregore-browser
A minimal browser for the distributed web (Desktop version) - AgregoreWeb/agregore-browser
URL Fragment Text Directives
Copyright © 2023 the Contributors to the URL Fragment Text Directives Specification, published by the Web Platform Incubator Community Group under the W3C Community Contributor License Agreement (CLA). A human-readable summary is available.
URL Fragment Text Directives
Copyright © 2023 the Contributors to the URL Fragment Text Directives Specification, published by the Web Platform Incubator Community Group under the W3C Community Contributor License Agreement (CLA). A human-readable summary is available.
byline.pub is now live in beta
A home for indie authors on the AT Protocol. Publish your work and become easier to discover across the open social web.
byline.pub is now live in beta
A home for indie authors on the AT Protocol. Publish your work and become easier to discover across the open social web.
tags.pub
tags.pub is a global hashtag server for the Fediverse. You can follow an account like example@tags.pub and it will boost all the content tagged #example from across the Fediverse. tags.pub is a free service provided by the Social Web Foundation, a US non-profit.
Formalizing 100 Theorems
There is a "top 100" of mathematical theorems on the web, which is a rather arbitrary list (and most of the theorems seem rather elementary), but still is nice to look at. On the current page I keep track of which theorems from this list have been formalized. Currently the fraction that already has been formalized seems to be
Mon article sur les maths de l’IA est paru dans la gazette de la smf smf.emath.fr/publications/la-gazette-de-la… La version en anglais est sur arxiv arxiv.org/abs/2501.10465
It's a test but of course it's a Bluesky / AT Proto app (a browser for Bluesky and @semble.so bookmarks)
Announcing mu.social, and other news
modalfoundation.leaflet.pub
