Sign in

Andre Garnier Reed

@andregarnierreed.bsky.social
50 followers 298 following 270 posts

Cinéma, bande dessinée, maths et info.

PostsRepliesMedia
Reposted by Andre Garnier Reed
Raveline @raveline.bsky.social · 09/10/2026
2. Comme il n'y a pas de vrai gouvernement, il n'y a pas de vrai rapport de force. Ça n'a aucun sens d'avoir un mouvement social (et cela vaut aussi pour la FP) quand, en somme, en face, les gens avec qui on est censé négocier ne peuvent pratiquement rien faire.
231
Reposted by Andre Garnier Reed
Raveline @raveline.bsky.social · 09/10/2026
Quelques éléments épars. 1. C'est le bordel, parce qu'il n'y a pas vraiment de gouvernement. Oui, oui, sur le papier, il y en a un, mais un gouvernemen qui ne peut pas faire voter un budget, ce n'est pas un gouvernement. C'est le bordel depuis la "grenade dégoupillée".
1132
Reposted by Andre Garnier Reed
Legrugru @legrugru.fr · 06/10/2026
Ukraine, Hiver 2026-2027 Pour aider tout un peuple à passer un nouvel hiver de la guerre. Merci à toutes et tous pour votre soutien ! www.helloasso.com/associations...
helloasso.com
Cagnotte hiver 2026/2027 régions de Kharkiv, Koupiansk et Odessa
Financement participatif organisé par Les convois solidaires - Collecte de fonds afin de répondre aux besoins en énergie, logistique, télécommunications et médecine d'urgence.
54861
Andre Garnier Reed @andregarnierreed.bsky.social · 08/10/2026
authueil.fr/2026/10/02/l...
authueil.fr
La « règle d’or », négation du politique – Authueil
010
Reposted by Andre Garnier Reed
David Monniaux @monniauxd.bsky.social · 07/10/2026
Il ne faut jamais perdre de vue que "supprimer ParcourSup" ne fera pas apparaître magiquement de places dans les universités et autres formations, qui nécessitent des enseignants, des locaux, et plus généralement des moyens.
612646
Reposted by Andre Garnier Reed
Butlerian Jihadist of House Dornick @shimminykricket.blacksky.app · 08/10/2026
Harvard just dropped a study AI productivity in software engineering and it found the average increase in productivity from using Claude code is.....zero and for exactly the reasons you'd think fion.ac/jellyfish.pdf
10166012563
Reposted by Andre Garnier Reed
Nalini Joshi @monsoon0.bsky.social · 08/10/2026
Here’s a bombshell for those considering the impact of the recent dump of mathematical papers by OpenAI: why the semantic translation of a mathematical text into Lean code by an AI may neither be reliable nor faithful 👉🏼 arxiv.org/abs/2610.08144
arxiv.org
Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs
Autoformalisation is increasingly used to verify mathematical texts, including those generated by AI, as in OpenAI's announced proof of blow-up of solutions to the Navier-Stokes equations. In this pro...
34220
Andre Garnier Reed @andregarnierreed.bsky.social · 08/10/2026
www.lemonde.fr/politique/ar...
lemonde.fr
Les députés rejettent en commission la réforme de l’abattement fiscal de 10 % dont bénéficient les retraités, jugée « antisociale »
Cette suppression est loin d’être définitive, puisque les députés repartiront de la copie initiale le 13 octobre dans l’Hémicycle. Les discussions en commission donnent toutefois un aperçu des rapport...
110
Andre Garnier Reed @andregarnierreed.bsky.social · 01/10/2026
Aucune critique assez courageuse pour souligner la dette de Notre Salut envers Kaamelott 😔
100
Reposted by Andre Garnier Reed
André Loez & podcast Paroles d’histoire @andreloez.bsky.social · 28/09/2026
L’émission du jour avec le réalisateur Emmanuel Marre est en ligne : youtu.be/xReb9bcd-lg Bonne écoute, bonne semaine
youtu.be
450. L'ordinaire de Vichy à l'écran, avec Emmanuel Marre
YouTube video by Paroles d'histoire
48338
Reposted by Andre Garnier Reed
Aurélien Morel (pew pews en tout genre) @aurelienmorel.bsky.social · 25/09/2026
Ah on est de retour au "les enfants des généraux n'iront pas mourir au combat en cas de guerre" ignorant allègrement la tendance des enfants de généraux à aller mourir au combat en cas de guerre ?
081
Reposted by Andre Garnier Reed
phantôme @caligans.bsky.social · 25/09/2026
Les LLM peuvent résoudre des problèmes mathématiques, mais pourraient-ils remplacer le philologue pléiadiste ? Non. brumes.wordpress.com/la-bibliothe...
Un échantillon de quelques vers permet de prendre la mesure de la faiblesse insigne de cette traduction, en assumant que l’extrait mis en avant par Gallimard est représentatif de la version des Métamorphoses dans son ensemble (il y a trop de traducteurs pour assumer que tout le volume sera de la même eau, encore que le simple fait que personne n’a sourcillé devant ce tissu de bévues laisse songeur sur le défaut de révision des volumes de la Pléiade, pour ne pas dire les standards scientifiques de l’éditeur en chef quand il a recruté son équipe).

360 garrula : épithète prise comme substantif en vertu d’un emploi poétique connu (e.g., A. L. Myers, The Use of the Adjective as a Substantive in Horace, dissertation U. de Pennsylvanie, 1919, pp. 20, 22) ; traduire « the chatterbox » (Hill) ou « though talkative » (Mc Carter). S’il s’agissait d’une épithète, à quoi la rapporter, attendu que le nominatif garrula ne saurait en aucun cas aller avec le génitif oris à la fin du vers ? Le traducteur de la Pléiade s’est laissé influencer par Lafaye, qui comprend les v. 360-361 « et pourtant sa bouche bavarde ne lui servait qu’à renvoyer, comme aujourd’hui, les derniers mots de tout ce qu’on lui disait » (remarquer le quasi plagiat de la Pléiade : « mais sa bouche bavarde ne lui servait qu’à retourner, comme à présent, d’une foule de mots les tout derniers »).
201
Reposted by Andre Garnier Reed
Authueil @authueil.bsky.social · 21/09/2026
Le PCF, voix de Moscou. Finalement, rien ne change
062
Reposted by Andre Garnier Reed
Nicolas Hénin @nicolashenin.net · 11/09/2026
Following ISIS (Mosul, 2014) and then the Taliban (Kabul, 2021), it is now time for the Houthis, Iran’s proxies, to get their hands on vast quantities of recent US military equipment.
34330
Reposted by Andre Garnier Reed
Gro-Tsen @gro-tsen.bsky.social · 10/09/2026
Un billet de blog pour parler de la destruction en cours des mathématiques par les boîtes d'IA et leurs petites mains: www.madore.org/~david/weblo...
madore.org
Sur la destruction des maths par les boîtes d'IA
93217
Reposted by Andre Garnier Reed
Tecoub @tecoub.bsky.social · 07/09/2026
Ces gens me sortent par les yeux. On passera sur le fait qu’au PE LFI vote systématiquement contre les aides à l’Ukraine. L’argumentation fumeuse de Panot comme quoi on vote contre mais on soutient franchement … L’argument est de reprocher une position maximaliste qui fermeraient les négociation
24921
Andre Garnier Reed @andregarnierreed.bsky.social · 04/09/2026
mathstodon.xyz/@tao/1172049...
mathstodon.xyz
Terence Tao (@tao@mathstodon.xyz)
It seems intuitive that a solved problem is unquestionably better than an unsolved problem: a magic button which, when pressed, turns the latter into the former at no cost would thus seem to be a "fre...
000
Reposted by Andre Garnier Reed
VinceBrunner @vincebrunner.bsky.social · 21/08/2026
"Oublie ce monde cruel" du dessinateur Jason chez Atrabile est aujourd'hui en librairie et c'est un magnifique hommage poétique au chanteur Nick Drake. www.lesinrocks.com/livres/oubli...
073
Reposted by Andre Garnier Reed
Greg Donovan @gregsdonovan.bsky.social · 20/08/2026
A terrifying game of hide & seek in a deadly corridor that snakes along the 750-mile front line in Ukraine in the first major conflict dominated by unmanned aerial vehicles [ @marianozafra.bsky.social | Mike Collett-White | Tom Balmforth | Max Hunder | @reuters.com ] www.reuters.com/graphics/UKR...
reuters.com
Inside Ukraine’s Kill Zone
Drones now dominate the war in Ukraine. Fly through the front line’s deadly “kill zone” and discover how surveillance, kamikaze drones and new tactics are reshaping modern warfare. An immersive Reuter...
043
Reposted by Andre Garnier Reed
Monsieur Phi @monsieurphi.bsky.social · 10/08/2026
Il a suffi de demander et d'encourager Claude ("keep going", "believe in yourself") pour le voir faire un progrès majeur sur le problème mathématique le plus connu au monde. Il y a un an, on s'étonnait que des modèles obtiennent l'or aux IMO. Il y a deux ans, on se moquait de leur nullité en maths.
Claude's methodology
An unreleased research version of Claude found the new lower bound over two sessions in Claude Code, using a total of 31 million output tokens.

Jarred Sumner, an Anthropic staff member (and non-mathematician), prompted Claude to “take a real stab” at the hypothesis itself, leaving the mathematical choices from there up to the model. Initially, Claude generated and tried 650 ideas, none of which worked. Jarred prompted Claude to try again, and it spent a day and a half coordinating about 60 Claude subagents, which this time went much deeper: between them, they ran 2,400 shell commands and wrote hundreds of Python scripts.1 The subagents ran thousands of numerical checks against known zeta zeros and refereed one another’s work. Throughout this process, Jarred's input was mostly limited to sending Claude messages of encouragement (mostly variants of “keep going” or “believe in yourself”).2 This seems to have helped Claude overcome some initial skepticism that it could make meaningful progress.

Having found this new result while attempting the task, Claude tested its work by having various subagents review the proofs, search for counterexamples, download 54 papers from the arXiv to check that its finding hadn’t already been made, and independently re-prove its finding from scratch. Claude volunteered to write its findings up as a paper, and recommended that a human number theorist validate its findings.

Levent Alpöge and Ralph Furman, two of Anthropic’s own mathematicians, examined Claude’s work to understand the new results and how they related to the prior work mentioned above. In parallel, Claude worked with another member of staff, Eric Easley, to produce a Lean formalization of the result, which passes the standard validation tool comparator.
3312
Reposted by Andre Garnier Reed
Pierre Beyssac @pierreb.bsky.social · 04/08/2026
Vu sur Twitter.
Several FFmpeg developers have received six free months of the Claude Max 20x plan.

Thank you @ClaudeDevs and @AnthropicAI for supporting FFmpeg through the Claude for Open Source program!

So far, Claude has helped find missing backports for the upcoming 9.0 release.
252
Reposted by Andre Garnier Reed
Le Rubicon @lerubicon.bsky.social · 24/07/2026
Alors que le détroit d'Ormuz est à nouveau sous blocus et que les Houthis se mettent à attaquer le commerce dans le Bab el-Mandeb, #LeCollimateur se penche sur cette crise et ses conséquences avec Marc-Antoine Eyl-Mazzega, directeur du centre énergie et climat Ifri. lerubicon.org/collimateur-...
lerubicon.org
Fermeture d'Ormuz : que risque le système énergétique mondial ?
Alors que le détroit d'Ormuz est à nouveau sous blocus et que les Houthis se mettent à attaquer le commerce dans le Bab el-Mandeb, le Collimateur se penche sur cette nouvelle crise et ses conséquences...
23311
Reposted by Andre Garnier Reed
Alexandre delaigue @adelaigue.bsky.social · 18/07/2026
Les aides aux entreprises ça n’existe pas. Les entreprises sont des choses et on n’aide pas des choses. Si je glisse 10 euros dans un portefeuille ce n’est pas une aide au portefeuille.
static.klipy.com
Mind Blow Galaxy Explosion
ALT: Mind Blow Galaxy Explosion
42315
Reposted by Andre Garnier Reed
Claire Sécail @clairesecail.bsky.social · 27/05/2026
On en revient à cette question lancinante : "pourquoi le titre de séjour a-t-il été prolongé, alors que l’ex-dirigeante de RT France débitait déjà sa propagande de l’envahisseur russe sur l’attaque lancée contre l’Ukraine ? Mystère. Ni Gérald Darmanin ni Laurent Nuñez n’ont répondu à nos questions."
28339
Andre Garnier Reed @andregarnierreed.bsky.social · 27/05/2026
www.lemonde.fr/politique/ar...
lemonde.fr
L’influente Xenia Fedorova, ancienne directrice de RT France et désormais protégée de Vincent Bolloré
Alors que l’Arcom vient d’être saisie de récentes provocations de l’ex-dirigeante de Russia Today France à l’antenne de CNews, l’offensive prorusse de la chaîne d’information embarrasse le sommet de l...
010
Andre Garnier Reed @andregarnierreed.bsky.social · 23/05/2026
Bonne ambiance chez Nova
010
Andre Garnier Reed @andregarnierreed.bsky.social · 22/05/2026
www.lemonde.fr/societe/arti...
lemonde.fr
La possibilité d’une libération prochaine de Mohamed Bakkali, logisticien des attentats du 13-Novembre, suscite l’émoi en France et en Belgique
Condamné en France pour son rôle dans les attaques terroristes qui ont fait 132 morts à Paris et à Saint-Denis, ce détenu n’était théoriquement pas libérable en droit français avant 2035. Mais il béné...
000
Reposted by Andre Garnier Reed
Timothy Gowers @wtgowers.bsky.social · 20/05/2026
OpenAI's claim that this is a central conjecture in discrete geometry is not an exaggeration. This will I think be looked back on as the first time that AI solved a major mathematics problem (defined as a problem that all experts in some subfield had thought about). openai.com/index/model-...
openai.com
An OpenAI model has disproved a central conjecture in discrete geometry
An OpenAI model solved the 80-year-old unit distance problem, disproving a major conjecture in discrete geometry and marking a milestone in AI-driven mathematics.
17650190
Andre Garnier Reed @andregarnierreed.bsky.social · 18/05/2026
blogs.mediapart.fr/david-monnia...
blogs.mediapart.fr
L'IA générative face au concours d'entrée à l'École normale supérieure
Dans un précédent billet, j'avais essayé un outil d'IA générative sur un commentaire historique. Passons maintenant à un énoncé de concours particulièrement difficile.
000
Reposted by Andre Garnier Reed
Alexandre delaigue @adelaigue.bsky.social · 23/04/2026
Le problème, c’est que cela montre un système réglementaire et fiscal tellement contraignant qu’il est impossible de faire quoi que ce soit, la seule solution est de créer un régime d’exception.
162
Reposted by Andre Garnier Reed
Cédric Mas @cedricmas.eurosky.social · 21/04/2026
10000€ en deux jours ! Vous êtes formidables ! Il ne reste plus que quelques heures pour clôturer cette collecte @camukraine.bsky.social pour l’Ukraine ! Des ambulances et un fourgon blindé pour évacuer les civils sous le feu (le précédent a été détruit par les Russes). Chaque euro compte !
13716
Reposted by Andre Garnier Reed
Weedle @weedle.bsky.social · 17/04/2026
Exactly one year ago today:
448280269336
Andre Garnier Reed @andregarnierreed.bsky.social · 08/04/2026
www.nytimes.com/2026/04/08/b...
nytimes.com
My Quest to Solve Bitcoin’s Great Mystery
000
Reposted by Andre Garnier Reed
Aurélien Morel (pew pews en tout genre) @aurelienmorel.bsky.social · 11/03/2026
Du coup il n'y a pas de plan, mais il n'y a pas non plus de backup ni de volonté d'organiser quoi que ce soit. Les annonces sont juste pour le lol avec rien derrière. Gouverner, vibes only.
162
Andre Garnier Reed @andregarnierreed.bsky.social · 09/03/2026
Gen Z Lives in the Archive open.substack.com/pub/defaultf...
open.substack.com
Gen Z Lives in the Archive
Is cultural time actually continuous?
000
Reposted by Andre Garnier Reed
Alexander Doria @dorialexander.bsky.social · 03/03/2026
Nothing to see, just very powerful pattern matching. www-cs-faculty.stanford.edu/~knuth/paper...
1221943
Andre Garnier Reed @andregarnierreed.bsky.social · 02/03/2026
www.lemonde.fr/idees/articl...
lemonde.fr
Olessia Gerassimenko, journaliste d’investigation russe : « L’émotion qui domine chez les soldats russes, c’est le désespoir »
TRIBUNE. Après quatre années de guerre en Ukraine, l’armée russe, désabusée, se bat sans conviction, analyse, dans une tribune au « Monde », la journaliste russe. Pour autant, la désillusion ne se tra...
000
Andre Garnier Reed @andregarnierreed.bsky.social · 27/02/2026
bonjourlafuite.eu.org
bonjourlafuite.eu.org
C’est qui qui a fuité aujourd’hui ?
Une sponso avec Pampers peut-être ?
000
Reposted by Andre Garnier Reed
A hot dog hollers @birdrespecter.bsky.social · 16/02/2026
This is happening at a far faster pace than we anticipated in the episode. Extremely grim, very enraging www.dexerto.com/entertainmen...
dexerto.com
Meta patents AI that takes over a dead person’s account to keep posting and chatting - Dexerto
Meta has been granted a patent outlining an AI system capable of simulating a user’s activity on social media to post after their death.
111120323
Andre Garnier Reed @andregarnierreed.bsky.social · 22/01/2026
Quel enfer le dernier Jarmusch
000
Reposted by Andre Garnier Reed
François Salvador ⚫️🔴 @indieordie.bsky.social · 07/01/2026
On a appris le décès de Jean-Max Causse, le fondateur historique avec Jean-Marie Rodon, des Studios Action à Paris en 1966. En 2005, il avait repris La Filmothèque du Quartier Latin avec son fils François. Il lui a rendu hommage dans ce post : www.facebook.com/share/p/1ASb...
Photo de Jean-Max Causse devant les fauteuils rouges du cinéma La Filmothèque du Quartier Latin
047
Reposted by Andre Garnier Reed
Wile E. Coyote @legumann.bsky.social · 03/01/2026
Qui se souvient des grandes manifestations de soutiens au peuple ukrainien organisées par LFI après l’invasion ?
7617
Reposted by Andre Garnier Reed
minimaliste13 @minimaliste13.cpesr.fr · 03/01/2026
Ce qui est bien avec Trump, c'est que son absence totale de morale s'accompagne d'une absence totale d'hypocrisie. Est-ce que vous avez envahi le pays pour le contrôler et exploiter ses ressources ? Oui.
1117556
Andre Garnier Reed @andregarnierreed.bsky.social · 01/01/2026
Top cinéma 2025
000
Andre Garnier Reed @andregarnierreed.bsky.social · 14/12/2025
www.digitaldigging.org/p/they-drone...
digitaldigging.org
They Droned Back
Young journalists expose Russian-linked vessels circling off the Dutch and German coast
000
Reposted by Andre Garnier Reed
Michel Goya @goyamichel.bsky.social · 12/11/2025
lavoiedelepee.blogspot.com/2015/10/le-j...
lavoiedelepee.blogspot.com
Le jour d’après la grande attaque
Publié le 25 octobre 2015 C’est donc à peu près entendu, la guerre de la France contre les organisations djihadistes qui dure d...
54515
Reposted by Andre Garnier Reed
Le Rubicon @lerubicon.bsky.social · 12/11/2025
A l'approche des commémorations du 13 novembre 2015, #LeCollimateur se penche sur l'histoire longue de la lutte des services contre le jihadisme, avec Abou Djaffar, ancien analyste de la DGSE et auteur de "Et tuez-les partout où vous les trouverez" (LaManufDeLivres). lerubicon.org/collimateur-...
lerubicon.org
Une histoire de la lutte contre le jihadisme
À l'approche des commémorations du 13 novembre 2015, le Collimateur se penche sur l'histoire longue de la lutte des services contre le jihadisme, avec Abou Djaffar, ancien analyste de la DGSE et auteu...
108343
Reposted by Andre Garnier Reed
Erica "digifox" Kovac @digifox.binaryden.net · 11/11/2025
Have you seen nothinghuman.substack.com/p/the-tyrann... ? It's much more explanatory of how we got here than the "enshittification" cycle or malice, in my opinion.
nothinghuman.substack.com
The Tyranny of the Marginal User
why consumer software gets worse, not better, over time
48223