I've been using ETP plus adblock-rs in Waterfox for 2 weeks. I don't see much a difference compared to ETP + ublock origin apart from some cosmetic filtering. The fact that it's not an extension supposedly allows to block at more layers so it's theoretically better than an extension (https://github.com/BrowserWorks/waterfox/issues/4182)
Note that there are (were?) also some small bugs in the waterfox integration (such as the configuration options sometimes disappearing).
There exists winden.app which is a magic wormhole webapp. They use their own mailbox and relay so you need to use the right options in the wormhole CLI.
Is this move the reason for the random 403 errors I get from the tumblr rss feeds I follow? Since a few weeks ago, some feeds are disappearing then reappearing, sometimes they are unavailable for a few days, sometimes it's back the moment I refresh. If the move is in the future, I guess that means they have neglected the current platform.
You do not need a different algorithm for each real.
Just take the algorithm that proves the statement for rational p. It proves the statement for all reals bigger than p. (hence having as many algorithms as there are rational (countably many) is enough)
There are in fact 3 universities in Toulouse: Toulouse I-Capitole, Toulouse Jean Jaurès (used to be Toulouse II-Le Mirail), and Toulouse III-Paul Sabatier.
And since it would be absurd to have just those three universities they are part of a group called "Université de Toulouse" (formerly Université fédérale de Toulouse Midi-Pyrénées) which also counts a number of schools https://en.wikipedia.org/wiki/Federal_University_of_Toulouse....
It fetches data from the public APIs of openlibrary.org and inventaire.io. From my point of view, inventaire is really great as it synchronizes with wikidata and is far better at not duplicating works or authors.
Note that there are (were?) also some small bugs in the waterfox integration (such as the configuration options sometimes disappearing).