Ce que je trouve fascinant avec les grincheux s'indignant que le “Robert” ait ajouté un nouveau pronom dans son dico, c'est surtout cette image prescriptiviste du dictionnaire qui dirait comment «bien» écrire plutôt que permettre de comprendre ce que les gens écrivent vraiment.
Moi je n'utilise pas le pronom «iel». (Pour la façon dont je conçois l'écriture inclusive, cf.: madore.org/~david/weblog/….) Mais c'est JUSTEMENT pour ça que je suis plutôt content qu'il entre dans le dico: si j'avais un doute sur ce que veulent dire les personnes qui l'utilisent.
Je ne me sens pas menacé dans ma non-utilisation du pronom «iel» par son entrée dans le “Robert” parce que je n'utilise pas les dictionnaires pour savoir comment bien écrire, je les utilise pour savoir ce que veulent dire les gens quand ils écrivent.
(Comment bien écrire, c'est un jugement subjectif, et pour ça, je préfère m'en référer à mon propre sens du style et de l'esthétique, qui dépend d'ailleurs du contexte dans lequel j'écris et du public auquel je m'adresse, plutôt qu'à un dictionnaire.)
Bon, ce genre de petits «tours de magie» 🔽 a le don de m'insupporter. Moi je n'ai pas envie qu'on me donne un poisson, j'ai envie qu'on m'explique comment pêcher! Donc, comment générer ce genre de phrase? ⤵️ •1/15
Bon, je ne peux pas expliquer comment Gilles Esposito-Farèse a trouvé la phrase citée ci-dessus, mais je peux vous dire comment j'ai trouvé les deux ci-dessous (en même temps que reconnaître que ce n'est pas malin du tout): •2/15
Mon code (Perl) est là; si on le lance, il va tourner pendant assez longtemps et finalement produire une phrase autodescriptive du genre de celles ci-dessus (et si ça se trouve identique à l'une d'elles): •3/15 gist.github.com/Gro-Tsen/32de1…
I bookmarked a couple of months ago, and finally got around to reading, this article by ‘Quanta’ magazine on the story behind Freedman's proof of the 4-dimensional Poincaré conjecture — and how it was saved from being “lost”. It's quite interesting. quantamagazine.org/new-math-book-…
The statement is that any topological 4-manifold that is a homotopy sphere is, in fact, homeomorphic to a sphere. (The analogous theorem for dimension ≥5 was proved in the 1960's by Smale & others. In dimension 3 it was proved in the 2000's by Perelman.) en.wikipedia.org/wiki/Generaliz…
The gist of the story in dimension 4 is that Michael Freedman wrote a sketch of a proof in the 1980's and convinced the experts that his proof held water, but details were never fully written down beyond this basic sketch (which further contained errors).
Tiens, aujourd'hui je cherchais à savoir quelle est la forme légale de Paris-Saclay, l'article fr.wikipedia.org/wiki/Intercomm… m'apprend qu'il y a des «métropoles», des «communautés urbaines», des «communautés d'agglomération», des «communautés de communes», des «syndicats …
… d'agglomération nouvelle», des «syndicats de communes», des «syndicats mixtes fermés» et «…ouverts», des «pôles métropolitain», des «pôles d'équilibre territorial et rural» et des «pays». Ça ressemble à une blague mais ça n'en est pas.
On a réussi à inventer aussi incompréhensible que le Royaume-Uni avec ses shires / historical counties, ceremonial counties, metropolitan counties, non-metropolitan counties, unitary authorities, etc. #ClubContexte
The absurdity of the Unix system of locales is confounding. If you want to use language xx and the conventions of country YY and encoding ZZZ, you might set locale to xx_YY.ZZZ; but LC_CTYPE only cares about ZZZ, some locale variables about xx, others about YY.
And every one of these xx_YY.ZZZ combinations needs to be “generated”. And on a multi-user machine, since you don't know what your users might want, well, you need to generate them all.
So why couldn't you just set LC_CTYPE=ZZZ, LC_LANGUAGE=xx (perhaps with xx_YY in case you really care about some per-country language differences) and LC_COUNTRY=YY? Because f😡ck you, that's why.
I've recently started reading (or attempting to) Takayuki Kihara's paper ‘Lawvere-Tierney topologies for computability theorists’, I think it will take me a long time to digest, but it really makes me consider computability in a different light. arxiv.org/abs/2106.03061
He defines a generalization of Turing degrees but for partially defined multivalued functions with a secret input; the reduction is defined by a fun three-player game; and he shows that these degrees are isomorphic to L-T topologies on the effective topos (which he defines).
He then proposes that these form a plausible definition of a “world” of computability intermediate between computable mathematics (corresponding to the effective topos) and classical mathematics (corresponding to the topos of sets).
For possible later reference, here is a ✺meta-thread✺ linking to several (long) explanatory threads I've written in the past regarding epidemiology. Since I was often learning as I was tweeting, it's a bit of a mess, but I think it's still worth compiling: ⤵️ •1/9
Let's start with a thread on the basic deterministic SIR model, which was written quite early on (and I didn't fully understand the point made in the thread linked in the next tweet). •2/9