Oui, c'est pour ça que je proposais de convertir le haché hexa en un mot-qui-ne-veut-rien-dire mais qui contient la même information et qui est facilement réversible.

… of morphisms Ω→Ω in the effective topos, because morphisms Ω→Ω in the effective topos are equivalence classes of maps 𝒫(ℕ)→𝒫(ℕ)).

The preorder on the J:𝒫(ℕ)→𝒫(ℕ) is: J₁ ≤ J₂ when there is an element which realizes J₁(P) ⇒ J₂(P) for all P (simultaneously), i.e., takes an element of J₁(P) to one of J₂(P) (whatever P is). So I showed that 1 ≤ J₀ and that J₀ ≤ 1, so J₀ is equivalent to 1 (but this is a real equality …

(Enfin bien sûr ça ne constitue pas une preuve opposable à des tiers. Ça je conviens que c'est très difficile à obtenir. Mais pour se convaincre soi-même, ou convaincre des gens convaincus par ton honnêteté, que Google ne tient pas sa promesse, c'est adéquat.)

Tu peux générer les mots en question en prenant SHA1("Ce mot a été inventé par Agent Rosenflower le <telle date> pour chercher à savoir si Google utilise mes mails pour entraîner des IA") et en convertissant chaque chiffre hexa en syllabe. Si l'IA sait des choses sur ce mot, c'est très incriminant.

… et qu'il y a une corrélation statistiquement significative sur la couleur qu'elle devine pour ceux que tu as mis dans tes mails, eh bien tu as un smoking gun. Et sur des tokens hyper rares comme ça, je crois bien qu'une toute petite quantité de texte peut laisser une trace détectable.

Je pense que si, il y a moyen de vérifier: si tu t'envoies plein de mails disant que les gurgleplinkerbonsurtinktuks sont bleus alors que les syzyglomarfingbutzokbiks sont rouges, et que tu demandes à l'IA potentiellement entraînée de deviner la couleur de mots de ce genre, dont des contrôles, …

… Je suppose que l'estimation de probas faibles est une branche à part entière du calcul actuariel, et qu'il y a des pratiques standards en la matière (lesquelles pratiques ne sont pas forcément basées sur des fondements scientifiques et épistémologiques très solides, d'ailleurs).

… I.e., je crois avoir compris que ce que tu demandes c'est quels raisonnements les constructeurs utilisent pour justifier qu'ils sont dans la contrainte imposée par les autorités régulatrices, donc comment ils estiment des probas si faibles. Mais il a fallu pas mal de temps pour que je comprenne. …

Juste un point de rédaction: tu devrais vraiment écrire «parvient-on à justifier qu'on atteint ce fameux 10⁻⁹» si (comme j'ai compris) c'est ça que tu veux demander, parce que juste «justifier ce fameux 10⁻⁹» ça peut demander pourquoi on maintient cette contrainte, ou encore d'autres choses. …

… Se baser sur le nombre de trimestres cotisés pose aussi des problèmes (étudiants, chômeurs, personnes en maladie longue durée; mais bien sûr on peut considérer qu'ils cotisent et sont disposés de cotisation, ou tout système équivalent).

Il y a déjà un paramètre de nombre de trimestres cotisés, hein. Oui, si on veut tout remettre à plat, son rôle devrait être différent, mais tu me permettras, en 300 caractères, de ne pas élaborer un système de retraites alternatif complet quand je veux signaler un problème majeur avec l'actuel. …

… The first, η ∈ (P⇒J₀(P)) just takes n to “return n” (and its existence is part of the constraint on being a L-T topology anyway). The second ω ∈ (J₀(P)⇒P) takes a program and runs it (i.e., it's the universal program), so the key here is that you can indeed do this (when there is no oracle).

Indeed. This is because if J₀(P) := {set of programs that terminate and produce a result in P}, then there are two programs η,ω that belong respectively to P ⇒ J₀(P) and J₀(P) ⇒ P for every P, where (U⇒V) := {programs that when given an input in U terminate and produce a result in V}. …

Oui, bien sûr: inutile d'expliquer à quel point je déteste les discontinuités. Je veux dire que l'entrée principale de cette fonction continue devrait être non pas l'âge mais le quantile de l'âge dans la population générale.

Ce qui me fait penser qu'au lieu d'avoir un âge fixe de départ à la retraite on pourrait avoir un quantile de départ à la retraite: i.e., on peut partir à la retraite quand on quitte les x% les plus jeunes de la population.

… Sans compter que le budget sécu est astucieusement séparé du budget général de l'État, nonobstant le fait que ce sont les mêmes députés qui le décident et essentiellement les mêmes contribuables qui le paient, ce qui permet de l'isoler du débat.

… Et dans tout ça, personne ne veut parler des retraites, parce que ① les retraités votent massivement, donc les politiques tiennent compte de leurs intérêts (pas ceux des jeunes, qui ne votent pas), et ② même les actifs se projettent dans leur place à l'avenir. …