Sign in

Informatheux

@informatheux.bsky.social
367 followers 572 following 4.2K posts

Info. Maths. Logique. Shitpost.

PostsRepliesMedia
Informatheux @informatheux.bsky.social · 45m
Mais sur un truc un peu complexe ? J'ai mal aux yeux quand j'essaie de lire, ça me prend à chaque fois pour un débile (j'ai plus de réussites avec Claude, mais quand même), c'est ultra borné, etc. Par contre le faire relire un truc ou réfléchir tout seul en étant un peu cadré là ça marche.
000
Informatheux @informatheux.bsky.social · 45m
Je ne comprends pas comment vous faites pour "comprendre des choses" grâce aux IA. Quand il s'agit d'un truc "simple mais mal expliqué" (la moitié des pages du nlab que je consulte), ça peut aider en synthétisant ou en n'étant pas trop général, ou pour dérouler les définitions.
100
Informatheux @informatheux.bsky.social · 2h
Et nos impôts paient des retraites. Ce serait bien de séparer les comptes 😅
000
Informatheux @informatheux.bsky.social · 3h
Y a quand-même un avantage à ce que la fac soit fermée : je peux travailler enroulé dans mon plaid
000
Reposted by Informatheux
Germán Vidal @the-heruman.eurosky.social · 4h
"Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs" 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...
111
Informatheux @informatheux.bsky.social · 4h
N'empêche il sert à quoi leur comité de mathématiciens s'il ne dit même pas à OpenAI que leurs "articles" sont pourris ? J'aurais honte de servir de caution morale comme ça moi.
000
Reposted by Informatheux
Libération @liberation.fr · 15h
Avec l’aide de l’historien Vincent Lemire, Libération a comparé les nombres d’arrestations et de placements en garde à vue des plus grands mouvements sociaux depuis Mai 68. Le résultat est sans appel. ➡️ l.liberation.fr/BoK
02520
Reposted by Informatheux
ponder @ponder.ooo · 11h
instead of a deluge of slop papers credited to some "internal model", only some of which correspond to lean proofs, what openai should be publishing are papers, credited to the researchers involved, detailing the techniques by which they built and operated the system that produced these lean proofs
1606
Reposted by Informatheux
Image du jour Wiki Commons @wiki-potd-fr.bsky.social · 6h
Image du 8 octobre : Jaguar (Panthera onca) drinking from the river in Mato Grosso, Brazil #wikimedia #cpod #fr
Jaguar (Panthera onca) drinking from the river in Mato Grosso, Brazil
062
Reposted by Informatheux
Axel Gilbert @axelgilbert.bsky.social · 29/09/2026
Vous avez été très exactement zéro à me demander une réécriture de "Porcherie", des Bérus, mais à la manière de Racine. Je ne saurais rester sourd à cette supplique muette, voici donc mesdames et messieurs, un petit pastiche de saison : (...)
287
Reposted by Informatheux
Laura Motet @lamotet.bsky.social · 13h
Margaret Hamilton s’est éteinte, peu après son 90e anniversaire, annonce le MIT. Triste journée news.mit.edu/2026/margare...
news.mit.edu
Margaret Hamilton, computing pioneer who led software development for the Apollo program, dies at 90
Margaret H. Hamilton, a profoundly influential computer scientist best known for leading the software engineering team at MIT’s Instrumentation Lab during NASA’s Apollo program, died at age 90.
8287154
Reposted by Informatheux
Pierre Verschueren @pverschu.eurosky.social · 07/10/2026
Et après on se fout de la gueule des pauvres PR de la IIIe qui tombaient de leur train
4576
Informatheux @informatheux.bsky.social · 07/10/2026
Cette personne hésitait à publier le problème, pas la solution. Pour OpenAI, ça date de ce matin : github.com/openai/math
000
Informatheux @informatheux.bsky.social · 07/10/2026
Super, bravo OpenAI, on sait maintenant qu'un PTS faiblement normalisant l'est fortement. Trop fort. /s Maintenant j'entends "ce problème ouvert est bien formulé et intéressant, j'y ai déjà réfléchi plusieurs fois, mais maintenant j'hésite à le publier. Vraiment, bien joué !
110
Informatheux @informatheux.bsky.social · 07/10/2026
Félicitations @no-noun.bsky.social ! Tu l'as bien mérité
010
Reposted by Informatheux
Feu Crapouille @crapouille.bsky.social · 06/10/2026
Vraiment, je trouve on devrait nourrir le jury avant la présentation, ça éviterait qu'ils essaient de prouver des trucs pour avoir les tibouts au pot après. Peut-être leur donner une petite box à l'entrée, avec un jouet dedans pour les occuper?
2191
Reposted by Informatheux
Feu Crapouille @crapouille.bsky.social · 06/10/2026
Des petites réserves formelles. Ben voyons. Je pense je vais pas retranscrire je trouve c'est pas important. MAIS ENFIN ON DONNE PAS DES EXEMPLES DE COQUILLES C'EST RIDICULE TU DIS ELLE PEUT PUBLIER C'EST PAS LE MOMENT CHIPOTER ALORS QUE TOUT LE MONDE A FAIM ENFIN. c'est fatiguant les humains.
2161
Reposted by Informatheux
Feu Crapouille @crapouille.bsky.social · 06/10/2026
Alors aujourd'hui c'est un grand jour pour madame @no-noun.bsky.social que c'est le jour du ✨pot de thèse✨ ça promet être grandiose avec des tibouts en quantité! Alors avant bien sûr il faut le rituel de pré-pot de thèse que c'est : raconter des trucs, et ça peut être tipeu long.
1436
Informatheux @informatheux.bsky.social · 06/10/2026
*sont
000
Informatheux @informatheux.bsky.social · 06/10/2026
Les nominations de préfet etc. soit faites par le Président
100
Reposted by Informatheux
Wikipedia @wikipedia.org · 06/10/2026
The dog of Montargis, taking the title of "man's best friend" to a whole new level. 🎥 mattylitwack on TikTok
2297
Informatheux @informatheux.bsky.social · 05/10/2026
C'est malheureusement super fréquent, un grand nombre de conducteurs prenant chaque contrariété comme un Affront personnel dont il convient de se venger.
010
Reposted by Informatheux
gee Ⓐ⚑ @ptilouk.bsky.social · 05/10/2026
💬 NOUVELLE BD : « En quête de l'Élu » Plongeons un peu dans l'univers de la fantasy… une grande quête s'offre à nous. ▶️ grisebouille.net/en-quete-de-... #BD #oc #inkscape #humour #GriseBouille #fantasy #SFFF #parodie #prophétie
BD en 6 images.

IMAGE 1. Dans une taverne, trois personnages sont attablés : un magicien, une elfe et un nain. Le magicien annonce : « Chers compagnons, pour notre prochaine quête, nous devons trouver l'Élu ! » Le nain demande : « L'Élu ? Mais l'élu de qui ?

IMAGE 2. L'elfe : « Kisséka voté pour lui ? » Le nain lui demande : « T'as voté, toi ? » L'elfe : « Pas souvenir. »IMAGE 3. Le magicien s'exclame : « Ne soyez pas bêtes : c'est l'élu des DIEUX ! » L'elfe : « Ah ! Moi j'suis athée, alors commencez pas, hein ! » Le nain : « Agnostique pour ma part. Du coup, pour votre élu, j'ai comme un doute… »

IMAGE 4. Le magicien s'énerve : « Rah, mais me gonflez pas ! Il est l'Élu parce que la PROPHÉTIE l'a dit ! » L'elfe : « La prophétie ? C'est quoi encore, cette glanderie ? »IMAGE 5. Le magicien explique : « Eh bien, c'est la grande prêtresse qui a eu une vision pendant une transe et… » Le nain le coupe : « Dites, si on doit faire confiance au premier gugus venu dès que votre copine crackhead a des hallus… »

IMAGE 6. Le magicien s'en va, vexé : « C'est la dernière fois que je fais une quête avec des gauchistes… » Hors-champ, on entend : « C'est une compagnie anarchiste, ici, môssieur ! Ni Dieux, ni maîtres, ni élus, ni que dalle ! »

Note : BD sous licence CC BY SA (grisebouille.net), dessinée le 23 septembre 2026 par Gee.
053
Informatheux @informatheux.bsky.social · 05/10/2026
Je pense que c'est une des raisons de la popularité des influenceurs politiques et des médias indépendants, sur les réseaux sociaux. Mais ils posent d'autres problèmes.
010
Informatheux @informatheux.bsky.social · 05/10/2026
Euh, non, il n'y a pas "l'essentiel de la sphère de gauche" ici. X a 15 millions d'utilisateurs uniques par mois en France, Bluesky 10 millions dans le monde entier. Et les jeunes ne sont pas ici.
000
Informatheux @informatheux.bsky.social · 05/10/2026
Le petit chaperon rouge (cette version : www.imdb.com/fr/title/tt1...) J'étais terrifié par la scène où le loup apparaît.
100
Informatheux @informatheux.bsky.social · 05/10/2026
Non, pas aujourd'hui.
000
Informatheux @informatheux.bsky.social · 04/10/2026
Je le dis parce que ça me paraît important : le rôle du député n'est pas de défendre les intérêts locaux (les viticulteurs 😉😉), et c'est pour ça que je suis favorable à de la proportionnelle intégrale (sans quotas) avec une unique circonscription de la taille de la France.
120
Informatheux @informatheux.bsky.social · 04/10/2026
Surtout, ce n'est pas un parti mais un groupe parlementaire, qui s'est constitué pour permettre à plusieurs députés indépendants de disposer de plus de moyens à l'Assemblée. Ils ne répondent que d'eux-mêmes et peuvent avoir des positions bien plus variées que les autres groupes.
110
Informatheux @informatheux.bsky.social · 04/10/2026
Le député est la voix de tous les Français*
120
Reposted by Informatheux
Mara Bos @mara.bsky.social · 04/10/2026
At the tram stop just now, right next to some of the best bicycle infrastructure you'll ever see, an American tourist came to me to ask me if the Dutch government was doing anything about "this terrible bicycle problem" we have in the Netherlands. 🙃
3032132
Informatheux @informatheux.bsky.social · 04/10/2026
C'est marrant parce que c'est pourtant l'exemple utilisé en général pour expliquer que justement ça ne fonctionne pas comme ça.
110
Informatheux @informatheux.bsky.social · 04/10/2026
N'empêche j'ai hâte qu'on discute de quels cours il faut supprimer pour réduire les horaires des lycéens. Les professeurs qui les soutiennent risquent de vite changer de camp...
010
Informatheux @informatheux.bsky.social · 02/10/2026
C'est évidemment plus compliqué que ça sur les campus "ouverts" : shs.hal.science/halshs-02938...
shs.hal.science
Making sure you're not a bot!
110
Informatheux @informatheux.bsky.social · 02/10/2026
De ce que j'ai compris, non, parce que c'est un pouvoir de police judiciaire (le maire est une autorité de police administrative et judiciaire). Le président de l'université a uniquement un pouvoir de police administrative spéciale (limité à l'univ). Il peut par ex édicter les règles de circulation.
110
Informatheux @informatheux.bsky.social · 02/10/2026
On peut entendre les problèmes d'emploi du temps (surtout ceux liés à la réforme Blanquer), mais pitié n'imposez pas des cours de sport ou des activités "extra-scolaires" tous les soirs à l'école svp
010
Informatheux @informatheux.bsky.social · 02/10/2026
J'ai jamais eu d'aspirateur avec batterie, donc je peux affirmer que le filaire ça marche (penser à faire attention à pas tout dégommer si la prise est en hauteur)
110
Informatheux @informatheux.bsky.social · 01/10/2026
Sachant qu'il faut déjà payer l'inscription à la fac (en prépa)
011
Reposted by Informatheux
David Monniaux @monniauxd.bsky.social · 01/10/2026
Cette rue est maintenant piétonne, cela évite les embouteillages, qui peuvent avoir des conséquences funestes
Des arches avec des plaques « rue de la ferronnerie »
3162
Informatheux @informatheux.bsky.social · 01/10/2026
CS in general or CS.AI ?
100
Reposted by Informatheux
Kelly @broadwaybabyto.bsky.social · 01/10/2026
Tennessee has had two failed executions this year. The death penalty should be abolished. Christa Pike wasn’t afraid to die. She was afraid they would screw it up and make her suffer. Which is exactly what happened. We shouldn’t allow the government to kill people.
apnews.com
Tennessee governor halts executions after Christa Gail Pike survives lethal injection attempt
Media witnesses say Tennessee officials were unable to carry out the execution of Christa Gail Pike for a 1995 murder on Wednesday.
20423115
Informatheux @informatheux.bsky.social · 01/10/2026
Est-ce que ça augmente les chances de rester pour le master ?
100
Reposted by Informatheux
aeris @aeris.eu.org · 30/09/2026
Quand je vous dis qu’en tant que particulier, va falloir un poil vous rebeller contre le marketing et cie, et les mauvaises pratiques techniques, c’est pas une blague hein…
14028
Informatheux @informatheux.bsky.social · 30/09/2026
Les délégués éliraient à leur tour des représentants qui participeraient au conseil d'administration. Je pense que ça pourrait révolutionner le système éducatif.
171
Informatheux @informatheux.bsky.social · 30/09/2026
On pourrait imaginer un système pour faire remonter les problèmes d'une classe ou des élèves en général à l'administration : chaque classe élirait deux élèves au début d'année qui participeraient au conseil de classe, on les nommeraient délégués.
361
Informatheux @informatheux.bsky.social · 30/09/2026
En vrai.... Le seul intérêt de l'automne c'est Halloween, la météo peut bien attendre deux semaines pour devenir moche, histoire qu'il fasse beau le jour de mon anniversaire.
100
Reposted by Informatheux
Baptiste Coulmont @coulmont.bsky.social · 29/09/2026
43715
Informatheux @informatheux.bsky.social · 30/09/2026
Oui ! J'ai vu très peu de films avec mes parents mais la plupart des Funès.
010
Informatheux @informatheux.bsky.social · 30/09/2026
Pas forcément. L'INSEE calcule le PIB trimestrielle, par exemple.
010
Informatheux @informatheux.bsky.social · 30/09/2026
Les criminels et délinquants (sauf s'il s'agit d'un délit politique, dans ce cas, ils y sont encouragés)
000