Cthulhu

Très petite échelle: un DAO sur Solana. https://lang.solanacompass.com/learn/Lightspeed/the-most-exciting-experiment-in-crypto-futarchy-robin-hanson-proph3t Pas été voir si c'était un succès.

Mauvaise journée pour le foot européen avec l'Inter et City qui se font sortir. Ça fera au moins un club non-européen en demi.

Le timing d'annoncer ça au même moment où on apprend que le DOGE construit une base de données sur l'ensemble des Américains...

Y a plusieurs aspects au côté abrupt des coupes. D'abord tout bêtement, le cadre des recherches prévues se retrouve limité quand celles-ci ne sont pas tout simplement annulées. J'ai l'exemple d'une étude sur un récepteur à la malaria qui allait se faire sur sujets masculins et femelles, et qui va se limiter aux masculins du coup (en aparté, un vrai sujet qui devrait intéresser les féministes mais bref). Et même si on part du principe qu'on dépensait trop sur ce type de recherches, il s'agit de subventions déjà approuvées, ce qui fait des mois de planification à revoir (et dans certains cas, des matériaux qui vont expirer sans pouvoir être utilisés). Certaines subventions peuvent être remplacées par de l'argent privé en effet. Dans le cas en question, on a un certain milliardaire de Seattle qui est très intéressé par la question, mais ce n'est pas le cas partout. Et même dans ces cas là, il faut ré-adapter les propositions de recherche pour l'organisme privé, refaire une demande de subvention en urgence etc. On est déjà dans une situation débile où les chercheurs passent 50% de leur temps à faire de la bureaucratie et on va encore augmenter ce pourcentage. Ensuite en aspect plus subtil, un doctorant dans certains domaines comme la biologie doit passer par un labo de recherche pour valider son doctorat. Si le nombre de places en labos diminue soudainement comme c'est le cas, ça fait autant d'étudiants qui vont se trouver incapable de finir leurs études et auront gâché 1-2-3 années de leur vie. On a également le côté nativiste où on essaye de limiter les subventions aux Américains ce qui va faire une chute nette du brain drain américain qui était un élément majeur de sa domination (et a des effets de bord sur l'industrie, je connais un excellent chercheur en AI chinois qui bosse maintenant chez OpenAI aujourd'hui après un doctorat en université américaine). Mais même au delà, ça donne des situation ubuesques. La procédure habituelle pour obtenir des moustiques infectés de malaria est de les importer depuis l'Asie ou l'Afrique. Sauf que ah zut, on ne peut plus utiliser l'argent des subventions pour payer des locaux pour faire cette collecte. Du coup, on fait quoi, on envoie un Américain avec un salaire 10x plus important dans les rizières aller chercher des moustiques ? La cerise sur le gâteau est que les coupes de budget touchent principalement les sciences dures: https://www.nytimes.com/interactive/2025/05/22/upshot/nsf-grants-trump-cuts.html -67% pour maths, physique et chimie -57% pour l’ingénierie -52% pour la biologie En comparaison, les sciences sociales ont "seulement" une baisse de 20% de leur budget.

Pas vraiment ce que je vois sur le terrain, mais ça permettra en effet de tester à grande échelle la thèse de Terrence Kealey.

Vu leur amour pour l'histoire alternative de la guerre civile américaine, c'est peu étonnant que ça déborde sur d'autres sujets historiques.

C'est clairement une tâche ardue, voire impossible dans l'état actuel de la science mais il faut bien commencer quelque part. Après, vu comment l'admin Trump a coupé à la hache dans les budgets de recherche scientifique, ça va ralentir dans tous les cas.

Dans une catégorie similaire, je viens de tester le code review par IA (c'était CodeRabbit dans mon cas, mais ce ne sont pas les seuls). Ça a donné en gros: IA: tu as une race condition sur cette variable qui n'est pas protégée par le mutex Cthulhu: nan, c'est bon, le C++11 garantit que les variable statiques sont initialisées une seule fois IA: mes excuses, je me suis mal exprimé, la race condition est plus loin <sort une explication de 15 lignes avec un exemple détaillé> Cthulhu: (regarde le code plus en détail)... ah merde, tu as raison Bluffant.

Tout à fait mon ressenti. C'est génial pour le refactoring, tu commence à faire une-deux lignes et ensuite tu peux faire tab-tab-tab sur tous les fichiers. L'interface est pas mal boiteuse, j'espère qu'ils prendront le temps de porter les changement de VScode. Le point qui m'agace un peu, c'est quand tu commence du code neuf et qu'il hallucine le nom de certaines interfaces au lieu d'aller lire le header dans le contexte courant.

Pour le coup, ça colle bien à sa théorie.

Non, il était le grand favori ('expected to take a big step forward'), mais les derniers sondages n'étaient pas si favorables. La primaire est aujourd'hui.

Son opposant principal est un socialiste qui veut instaurer contrôle de prix des loyers, gratuité des transports en commun, gratuité des garderies etc et il a de bonnes chances de passer. Triste que NY ne soit pas fichu d'avoir de meilleurs candidats que ça.

Les Iraniens disent ne pas avoir reçu d'offre de cessez-le-feu. Je me demande aussi ce que les historiens du futur diront sur cette période de communication via Twitter et Facebook où personne n'est d'accord sur ce qui se passe en réalité.

Arf, talon d'Achille pour Haliburton dès le premier quart-temps. Les Pacers se battent bien, mais finissent pas lâcher le 3e quart-temps. On verra la fin, mais j'ai l'impression qu'on s'est fait voler d'un vrai match 7...

Prions pour eux dans cette heure difficile 🙏

Fatigue de fin de saison pour les Européens là où les Américains sont au milieu de leur saison ?

Pas de grande star, pas des franchises historiques, ça a du mal à brasser en dehors des passionnés. C'est peut-être triste, mais c'est comme ça partout. J'avais clairement sous-estimé les Pacers, le nom de leur coach aurait dû me mettre la puce à l'oreille (JRML: la finale de 2011 était la première que j'avais vue à une heure décente).

C'est un vrai Congressman américain (je vous laisse deviner quel État).

Oui, c'est le jour et la nuit par rapport aux championnats européens. Le point sur lequel il a peut-être un poil raison est que les clubs de MLS commencent à être plus compétitifs en coupe CONCACAF contre les Mexicains (Seattle l'a même gagnée d'où leur présence dans cette compétition). Mais on reste loin du top niveau clairement.

Miami est juste là pour que Messi participe à la compétition.

J'ai un collègue qui me soutenait que le niveau de la MLS s'améliorait et se rapprochait de l'Europe (et pourtant, il disait regarder de la Premier League) Vivement le lendemain de Seattle vs PSG pour le chambrer Il sera probablement au stade en plus.

C'est une longue tradition.

Un témoignant intéressant d'un survivant chez John Stossel

Ça vaut quoi l'original du coup ?

J'ai vérifié que la vidéo était bloquée en France, mais pas aux US. Bon, c'est pas tout, mais ça fait beaucoup de posts sans musique et je n'y connais rien au punk, donc je ne peux pas aider