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.
> EDIT: The covers of some modern french translations are also incredible. Just the four letters D U N E, which are exactly the same shape but rotated 90 degrees. It's an incredibly simple and effective design.
I tried trillium and found it interesting but a little difficult to use (I prefer markdown to their editor). Then I tried editing on mobile and it really was awful. It was mostly impossible to use the contextual menu. Some words got doubled when I typed them. Pasting did not work.
So I came back to a folder of markdown files synchronized with syncthing that I edit with markor on Android and vim or vscode on desktop.
Note that there are (were?) also some small bugs in the waterfox integration (such as the configuration options sometimes disappearing).