Gro-Tsen

I'm in the ER. I don't want to bore you with details, but the 'Dyson Ball Cleaner' is a dangerously misleading product name.

Pas juste la température! Je crois que même la position n'était pas réglable sans connexion Internet.

La panne d’AWS c’est une occasion d’apprendre que des gens ont réussi à vendre des matelas dont la température n’est pas réglable sans connexion Internet. 🤔

(“Andrew Windsor” or “Andrew Mountbatten” or “Andrew Mountbatten-Windsor” or “Andrew Schleswig-Holstein-Sonderburg-Glücksburg / Saxe-Coburg-Gotha”, or whatever it should be. This family doesn't even know its own surname. 🙄)

Strange how even the people calling for King Charles's brother to be stripped of his royal titles and prerogatives still refer to him as “Prince Andrew” rather than “Andrew Windsor”. If you don't want him to be “Prince Andrew”, maybe don't call him “Prince Andrew”?

I know the feeling. But thanks for the effort!

Update: ① and ② are NOT equivalent, as the following example (which satisfies ② but not ① and also not ③) shows: 🔽

… (antisymétrique car si (p,q) est dedans alors (q,p) non). La plus évidente est l'ordre naturel sur ℕ, mais ça ça ne marche pas pour la raison que j'ai expliquée à Grok: l'ensemble P (disons) serait fini car borné. Donc j'ai cherché un autre ordre qui ait une vague propriété d'universalité.

… par contre ce qui est plus délicat c'est de séparer P×Q et Q×P: pour ça il va bien falloir prendre UNE fonction calculable qui fait la séparation, et la garder. Donc il faut se demander quelle fonction peut faire le boulot. En fait ce qu'on veut est une relation antisymétrique calculable. …

Si on se dit qu'on va chercher un contre-exemple, construire P et Q pour être calculablement inséparable n'est pas vraiment ce qui pose problème, parce qu'on peut prendre chaque e et mettre un élément dans P ou Q pour invalider la séparation de P et Q par φ_e, il y a plein de liberté, …

J'ai trouvé 🔽, et quand on a l'idée c'est hyper facile. Mais peut-être que ça vaut la peine que je dise un mot sur le raisonnement mental par lequel j'ai trouvé, pour que ça semble moins magique. ⤵️

… so they are not computably separable. On the other hand, given (r,s) in P×Q ∪ Q×P, it's obvious to decide which is in P and which is in Q: the smaller one is in P and the larger one is in Q; and this test can be done computably, and can be extended to be defined everywhere. ∎

… By coding rational numbers by integers in a computable way, I might as well search for P,Q⊆ℚ. Let z be a arbitrary fixed noncomputable real number. Let P = {r∈ℚ : r<z} and Q = {r∈ℚ : r>z} be the lower and upper cuts defining z. They are complement to each other and noncomputable, …

Found it! 😊 And, of course, like the egg of Columbus, once we know the trick, it seems so ridiculously obvious one wonders how it might even have been a question. 😅

So, here's how to construct P,Q⊆ℕ which are recursively inseparable, but such that P×Q and Q×P are recursively separable. … ⤵️

Je soupçonne le récit d'enjoliver un peu les choses. La plus grosse espèce de poulpe en méditerranée doit faire à tout casser 25cm de taille de manteau, et ces bestioles ne sont franchement pas agressives, surtout quand elles sortent de l'eau, elles vont plutôt détaler.

Allez, c’est de saison : voici l’histoire d’un cambriolage. Une espèce de Mystère de la chambre jaune, qui s’est produit il y a deux mille ans. 🧵

La situation de l'école est Le nouveau ministre de l'Education nationale Edouard Geffray a jugé mercredi la situation de l'école

Comment on peut accepter que des mecs qui ont fait les politiques en place depuis 10 ans fassent semblant de découvrir la situation ET en même temps fassent comme si cette situation "catastrophique" n'est pas le fruit des politiques qu'ils ont mises en place
www.brut.media/fr/articles/...

I'm really waiting to see what happens when the supposedly “sovereign” parlement passes a law that is in direct contradiction with the laws of nature, physics or mathematics.

Au bureau, un manager l’air satisfait balance dans un sourire : « Lefebvre, votre poste a été remplacé par une IA ! » Lefebvre s’offusque : « Impossible ! » Puis ils se tournent tous deux vers le poste mal éclairé de Lefebvre, où un robot déprime devant un écran d’ordinateur en lâchant un « Je veux crever ! » mécanique. Lefebvre ne peut cacher sa stupéfaction : « C’est effrayant comme ça progresse vite. » [fin]

remplacé par une ia

… namely that we allow partial computable functions and require our functions to be defined only on the appropriately relevant domain.)

The reason I'm not super happy about it in this context is that it doesn't provide a harmonious way to refer to the four notions in parallel. (I think “semicomputably separable” makes sense because it is more or less to “computably separable” what “semicomputable” is to “computable”: …

Je crois que l'idée c'est que ceux qui ont souffert du scorbut c'est justement ceux qui étaient sur le bateau qui est parti chercher celui qui avait déserté (et qui n'a donc pas mangé le céleri). Mais mon souvenir est vague, et le documentaire n'était pas hyper précis non plus.

Je viens de trouver en 140, mais je joue un peu en mode «je balance absolument tous les mots courants qui me viennent par la tête, en commençant par les prépositions et les mots hyper vagues, et en ciblant sur les domaines qui ont l'air en rapport», et c'était un peu de la chance.

ça fait longtemps qu'on avait pas eu l'occasion de repasser cette merveille :

www.youtube.com/watch?v=V2WI...

One remarkable effect of Brexit has been a mellowing in the country's political mood. Concern about immigration has fallen sharply, even if immigration is still twice as high as the government's target. Nigel Farage's UK Independence Party, the closest Britain has to a populist movement, is dying on its feet. Not so long ago, it was Britain's third-largest party. Now it's a comic irrelevance, struggling to win 2% of the vote and with no chance of taking any seats in Parliament.

Compare this to the tumult in the rest of Europe. Populist parties have recently taken over half of the vote in Italy, a third of the vote in France's presidential election, a fifth of the vote in Germany and Austria and about the same share of parliamentary seats. Brexit Britain is an oasis of stability by comparison, perhaps the most successful melting pot in the continent. It's quite true that the U.K. Party, now under new hard-left management, is a threat to the calm. But the populist specter, which is haunting so much of Europe, has been exorcised from the U.K. body politic.

Aged like gorgonzola on a radiator…

(from 2018 - not unrepresentative of the absolutely worst Brexit takes)

Capture d'écran du tweet lié (de moi, daté 2022-11-18). J'y écris, à propos d'un documentaire sur l'expédition de Magellan: «Exemple de chose dont je n'avais aucune idée: ils ont été largement épargnés du scorbut, lors de la traversée du Pacifique, par le fait que par hasard ils avaient mangé du céleri sauvage en Patagonie (en attendant la recherche d'un navire qui avait déserté).»

À ce rayon, j'avais appris que l'expédition de Magellan a évité le scorbut (ou en tout cas, une partie l'a évité) parce qu'ils s'étaient arrêtés en Patagonie à cause de la perte d'un navire (déserteur) et avaient mangé un céleri local très riche en vitamine C. x.com/gro_tsen/sta...

Some very important context and caveats around the claim that AI models “got gold medal level” at the 2025 International Math Olympiads. 🔽

But for some reason this terminology seems to be used in complexity and never in computability (I looked through all computability theory books I have in searchable form, and none of them uses “promise” in a technical term anywhere that I could find).

It really is astonishing that anyone bought the argument that Brexit would ‘settle’ the immigration question in the UK. People who made this argument should hang their heads in shame.

Screenshot of part of the linked conversation with Grok: I point out the error in its construction and finish with: «I prefer an answer of the form “I can't solve this” to an incorrect answer.» And Grok, after thinking for about 4 minutes, just answers: «I can't solve this.»

Interesting how Grok's response to being shown the error and being told not to hallucinate is a very terse admission that it can't solve the problem x.com/i/grok/share... — whereas ChatGPT (cf. supra) offered a more lengthy analysis of the error + apology + suggestions.