ernesth

> Ë with diaeresis is the easiest case to deal with

Wait, no! This is the most complicated one, fortunately it's scarcely appears.

In canoë, the ë is pronounced as an é. In Noël, it's pronounced as an è. In ambiguë, it's not pronounced at all!

You never opened a README.md that contained links in something else than a browser?

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.

Quo Vadis is french and in fact now belongs to the Clairefontaine group, just like Rhodia.

> last time I checked the record was 80 qubits

It has progressed since: IBM Condor (demonstrated in december 2023) has 1121 qubits.

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)

In french, it is "vecteur propre" (which has the same meaning).

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.