Sign in

Informatheux

@informatheux.bsky.social
365 followers 572 following 4.1K posts

Info. Maths. Logique. Shitpost.

PostsRepliesMedia
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
000
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
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.
19422114
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
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
Reposted by Informatheux
Baptiste Coulmont @coulmont.bsky.social · 29/09/2026
43715
Reposted by Informatheux
Fanny Cohen Moreau @fannycomo.bsky.social · 29/09/2026
C'est cool les blogs reviennent à la mode, de ce que je vois passer sur Bluesky, je suis preneuse de vos recos !
11305
Reposted by Informatheux
aeris @aeris.eu.org · 20/02/2026
La CNIL est dernière en Europe, toutes catégories confondues
112
Reposted by Informatheux
Cendrones @cendrones.bsky.social · 28/09/2026
On à fait de chouettes parties à l’époque avec Loïc ! je suis super content de voir que le jdr solo recolle les morceaux. Si vous jouez solo, parlez donc de vos parties, de ce qu’elles vous apportent. Vous m’avez sûrement entendu pontifier sur le sujet et je continuerai sûrement a l’avenir.
182
Reposted by Informatheux
#JesuisLéa @jesuisleabsky.bsky.social · 24/09/2026
Cinquante. Moins de deux semaines d'existence, et déjà 50 personnes ont témoigné sur le mur de « Je suis Léa ». Nous avons lancé un appel ; chacun·e a choisi d'y répondre. Lues une par une, ce sont des histoires. Côte à côte, c'est un système. 👉 jesuislea.fr #JeSuisLéa
01419
Reposted by Informatheux
Suave Morbida @maitre-poulard.bsky.social · 28/09/2026
Quelqu'un sur reddit avait essayé de briser le plus de règles possibles avec cette abomination
Difficile de décrire ce blason avec un triceratops rayé récursif des émaux qui se chevauchent rien qui va
3175
Reposted by Informatheux
Le Nain @lenain.bsky.social · 27/09/2026
= Option 2, la sioux = - 13 heures de cours de conduite (minimum) sur boîte auto - examen du permis sur boîte auto - 7 heures de cours "passerelle" sur boîte manuelle 👉🏻 Ces 7 heures donnent automatiquement le permis manuel sans repasser d'examen. 👈🏻
191
Reposted by Informatheux
Clarisse @qex.at · 27/09/2026
one of my biggest frustrations with english is that there is no good way to translate the absolute banger of a sentence pattern that is "relire <author>" from french
2101
Reposted by Informatheux
Siobhán @shibbi.me · 26/09/2026
Yud’s contribution was twofold: - He hypothesized that alignment was not just hard but nearly impossible, and that we would only get one shot at it; and - He founded a community around these ideas which has metastasized into the tescreal cultural milieu we know today.
1121
Reposted by Informatheux
Faine Greenwood @faineg.com · 27/09/2026
Women trying to succeed in Silicon Valley AI and effective altruist spaces are reporting feeling serious social pressure to attend sex parties - where people have reported being sexually assaulted, like below. Events like Aella’s “Slutcon,” which is happening again this weekend.
Ann Pierce
@itsannpierce
20h
I am disheartened by this as well. I already lost a bunch of followers for agreeing with @tautologer, but it's saddening to see local nerdy women being caricatured as Karen-like outsiders and getting pushed out of the scene. This is exactly why you hear so few concrete, names-attached stories of sexual harrassment and assault. I'm told there is a history of discrediting these because the "slut normalization" thing is top priority and these stories get inconveniently in the way of spreading this ideology.
I got roped into attending last year's Saturday Slutcon party because so many local and out-of-town friends were there (to echo sentiments @tautologer expressed about "slut events becoming central to the larger scenes). Mostly I hung out with people I knew and that was great. But in the course of my 3-ish hours there, there were 2 times my "no" was not accepted by a man I didn't know, and I was physically pushing a huge guy off of me who was rubbing his penis on me, who continued to do it despite my physical force against him, and after I finally wriggled away from him, told him I wanted to dance alone etc., he came back and did it again.
This was scary and bad, but it didn't even cross my mind to report this because one of the other people who didn't accept my "no" earlier in the night was the bartender (an officially sanctioned authority at the event), and I knew the event was organized exclusively by women into CNC (who are vocal about how rapey behavior turns them on), so I figured this sort of thing would just get me laughed at. And anyway, I heard there were a lot of other incidents like it. Later though, someone encouraged me to report this story to the organizers, and despite my embarrassment I did, so *they know* that this and other incidents happened. This is why they cut the Saturday night party this year and created a larger training program for the flirt girls - *because* of things like this last year. Yet the narrative bein…People who haven't been to Slutcon are saying "it's just group therapy," "it's just innocent flirting." But the environment is much like a sex party in that many people are nude, there is making out and sex acts happening out in the open. I think it's pretty unreasonable to expect that every nerdy girl who likes rationalist bloggers or is into EA/AI safety should automatically be comfortable with this! That if she's not, there's something wrong with her, we don't want her in our scenes, etc.
Not to mention, it's explictly an event *for men*, where men are the clients and the "flirt girls" are the product. Last year I overheard an exchange where a man felt "led on" by a flirt girl and was trying to get her punished/kicked out. (A dynamic that seems inevitable in this context!)
Anyway- it does sound like they've upped their consent education a lot this year, are more organized, and that's good! As I've told my friends who are attending: I hope they have fun!
I heard several accounts last year of women who had no problems and really enjoyed the event. That's great!
Just... can we live in reality about this? There are real reasons why male-female sexual dynamics are tricky.
Encouraging autistic men who can't yet read body language to go around asking to see womens' boobs is maybe a bit ill-advised. Maybe not everyone should be/identify as a slut; maybe it's not for everyone.
And yeah, filtering the Bay Area Al safety scene down to only women who are super comfy with this eliminates *most* women - including many of the really smart, nerdy, weird women who've been in the larger scenes for years. What a loss for humanity.
I absolutely understand why people with a minority sexuality would want to create belonging, would want to create spaces for people like themselves. But why do it like this/at this cost?
20743421114
Informatheux @informatheux.bsky.social · 28/09/2026
Le plus difficile quand je passe mes weekends seul c'est le rapport au temps. Parfois je passe des heures d'affilée à faire un truc sans m'arrêter pour manger ou dormir.Parfois j'en ai marre et je ne sais pas quoi faire,j'arrive pas à me motiver, je procrastine pendant 2h pour passer un coup d'aspi.
160
Reposted by Informatheux
Denis Colombi @uneheuredepeine.bsky.social · 23/11/2025
Il est possible, je crois, de ne pas en faire une fois en école en fonction de comment on s’oriente. D’une façon générale, les disciplines académiques ne sont pas forcément en odeur de sainteté dans les écoles de commerce. Cf shs.cairn.info/revue-franca...
shs.cairn.info
021
Reposted by Informatheux
Christophe Cassou @cassouman40.bsky.social · 25/09/2026
L’argument de «plus de pluie hivernale» en moyenne sur la France dans un climat qui chauffe n’est pas scientifiquement robuste sur les prochaines décennies (avant 2050) mais il est répété ad-nauseam pour justifier une politique généralisée de stockage de l’eau. [Cf post linkedIn lnkd.in/p/gh-Xi9tA]
7278143
Informatheux @informatheux.bsky.social · 23/09/2026
Franchement, Marine Tondelier me devient de plus en plus sympathique.
110
Reposted by Informatheux
depths of wikipedia @depthsofwikipedia.bsky.social · 22/09/2026
I'm really sad about the death of one of my favorite wikipedia editors so here's a thread of some of the greatest articles he wrote
81668315
Reposted by Informatheux
Iznogoud @iznogoud.ovh · 23/09/2026
Mon impression, c'est que l'écrasante majorité des utilisateurs ne font que consommer du contenu, ne produisent strictement et leurs seules interactions se réduisent à des likes. Ça n'est pas un réseau social, ça, c'est de la télévision dont le programme est géré par un algorithme.
341
Reposted by Informatheux
Marine Tondelier @marinetondelier.fr · 23/09/2026
Cette campagne sera d’ailleurs l’occasion, en plus de tout le reste, de parler du pays à hauteur d’enfants que nous voulons inventer. On se demande souvent en tant qu’écologistes quelle planète nous laisserons à nos enfants. Mais quels enfants laisserons-nous aussi à notre planète ?
21085
Reposted by Informatheux
pumpkin spice doodlemancy 🎃 @doodlemancy.com · 22/09/2026
everyone wants to tell artists what to do and i wish we could shift to telling audiences what to do sometimes. if you liked webcomics that were on tapas, follow somewhere else. learn to use RSS. don't let the seamlessness of apps turn your brain into soup. you can change your habits
61861749
Reposted by Informatheux
Le dé-Chargé de TD @ly-etienne.bsky.social · 22/09/2026
Un exemple d'utilisation en littérature (jeunesse), c'est Jonathan Stroud, la trilogie de Barthimeus. Dans les chapitres où l'on suit le point de vue du Djinn, les nbp abondent et sont utilisées comme appartées où le démon s'adresse directement au lecteur.
Page 239 du tome 2. avec 2 notes de bas de pages.idem, page 420
3142
Informatheux @informatheux.bsky.social · 20/09/2026
Je suis assez impressionné par cette preuve de la cohérence de ZF dans Lean par Mario Carneiro (et Claude) : github.com/digama0/ConZF. Par ailleurs, Loïc Pujet a une analyse intéressante de la force relative de CIC et CIC- : leanprover.zulipchat.com#narrow/chann...
020
Reposted by Informatheux
Ewind @3dw1n.bsky.social · 19/09/2026
Les musées et lieux romains : Contenu 11/10 Muséographie 0/10
241
Reposted by Informatheux
Drama Gouine @automath.bsky.social · 19/09/2026
Les gros bourgeois écologistes à quel moment vous allez comprendre que votre attitude de "je suis contre tout" et "not in my backyard" a des CONSÉQUENCES INÉVITABLES ? Si vous êtes contre le nucléaire vous êtes forcément pour le pilotable fossile. Si vous êtes contre la mine de Lithium de l'Allier,
182
Informatheux @informatheux.bsky.social · 16/09/2026
C'est vraiment quelque chose dont je ne comprends pas que ce ne soit pas plus connu et que ça ne fasse pas plus scandale.
162
Reposted by Informatheux
FX Coudert @nanoporous.net · 15/09/2026
À Paris, c'est pareil, robot ou pas, aucun rdv disponible, jamais. Donc si tu veux déposer un dossier de régularisation, la procédure expliquée par une avocate d'une association, c'est : faire des captures d'écran datées, chaque jour, de la page affichant qu'il n'y a pas de rendez-vous ; le faire à
14529
Informatheux @informatheux.bsky.social · 16/09/2026
Jusqu'à quel degré est-ce que vous connaissez votre famille ? Moi je connais tous mes arrières-cousins (on se voyait une ou deux fois par an quand j'étais petit, moins maintenant) et quelques arrière-arrière-cousins, mais j'ai l'impression de passer pour l'exception autour de moi
200
Reposted by Informatheux
Jean-Marc Proust @jmproust.bsky.social · 16/09/2026
Sans oublier le détroit d’Ormuz. Il ne manque plus que le détroit mousquetaire et ça fera quatre. (Pardon @rtlgrandest.bsky.social )
33613
Informatheux @informatheux.bsky.social · 15/09/2026
Aujourd'hui c'était les 100 ans de Jean-Pierre Serre, joyeux anniversaire à lui et puisse-t-il vivre encore de longue années ! J'espère être au moins à moitié aussi alerte que lui quand j'aurais les quatre cinquième de son âge.
041
Reposted by Informatheux
minimaliste13 @minimaliste13.cpesr.fr · 15/09/2026
À ce sujet, j'ai une anecdote. Je travaille personnellement dans la lignée directe de 3 articles fondamentaux de Jean-Pierre Serre (dont celui résumé ci-dessous). Or, si Serre est né il y a exactement 100 ans aujourd'hui, il y a exactement 28 ans aujourd'hui, un jeune étudiant en première année
1164
Reposted by Informatheux
Our World in Data @ourworldindata.org · 14/09/2026
The largest differences we see are between different types of foods. The environmental impacts of beef or pork, for example, are far higher than those of plant-based foods, regardless of whether they’re organic or conventionally farmed. The key limiting factor for organic farming is land use.
38716
Reposted by Informatheux
Our World in Data @ourworldindata.org · 14/09/2026
📝 New article on Our World in Data: Is organic farming better for the environment than conventional farming? One of the most common questions we’re asked about food systems is whether organic farming is better for the environment than conventional methods.
411254
Reposted by Informatheux
Wikipedia @wikipedia.org · 14/09/2026
SPOILER ⚠️ The Wikimania editing champion has way more than 500,000 edits! 🎥 itsdondiestro on TikTok
1437
Reposted by Informatheux
Jules @juleswp.eurosky.social · 14/09/2026
La communauté de @wikipediafr.bsky.social a durci sa recommandation sur l'IA générative (IAg) : son usage pour la rédaction de l'encyclopédie, qui était jusqu'alors « vivement déconseillé », est désormais interdit. #AI #IA #LLM 👉 w.wiki/ERaF
Ce texte est considéré comme une recommandation dans Wikipédia. Il décrit des exigences dont le principe et le contenu sont acceptés par un grand nombre de wikipédiens.

Vous pouvez librement modifier cette page, mais il est conseillé d'utiliser la page de discussion pour proposer un changement majeur.

En résumé : L'intelligence artificielle générative (IAg) n'apporte aucune garantie sur la fiabilité, la libre réutilisation et la vérifiabilité du contenu. Son utilisation pour la rédaction des articles est donc interdite.

Sur Wikipédia en français, le principe est l'interdiction de l'utilisation de l'intelligence artificielle générative (IAg) fondée sur les grands modèles de langage (LLM) pour la rédaction des articles.

En effet, l'expérience montre que l'usage de cet outil conduit quasi-systématiquement à contrevenir aux principes fondateurs et règles de Wikipédia, en particulier la vérifiabilité du contenu. Le mésusage des IAg aboutit à l'introduction de plagiats, d'informations fausses, de sources détournées, inexistantes (hallucinations) ou de mauvaise qualité, etc.

Ce qui apparaît comme un gain de temps individuel pour les utilisateurs d'IAg, induits en erreur par l'apparente facilité d'usage de l'outil, génère en réalité une perte de temps collective et une dégradation du contenu de l'encyclopédie.

Il existe des exceptions à cette interdiction générale : l'usage des outils IAg à des fins de correction orthographique est autorisé ; leur usage raisonné à des fins d'aide à la rédaction par des contributeurs maîtrisant les règles de Wikipédia est possible à certaines conditions, détaillées plus bas.
8400176
Reposted by Informatheux
Jay 🦋 @jay.bsky.team · 13/09/2026
should add a “touch grass” button that bricks the app for four hours whenever you touch it. floats across the screen randomly during heated disputes and you have to dodge it like frogger to keep arguing
1020624
Informatheux @informatheux.bsky.social · 13/09/2026
J'ai lu un cours de géo-diff pour le fun le week-end dernier, et j'ai peut-être tout lu un peu trop vite mais j'ai l'impression de confondre beaucoup de choses : est-ce que y a un lien entre la différentielle seconde (qui est symétrique) et les 2-formes (qui sont
100
Reposted by Informatheux
dan @danabra.mov · 13/09/2026
learning this over and over and over. really best way to go with frontier models
2382
Reposted by Informatheux
Matt Henderson @matthen.com · 13/09/2026
Approximating the Lorenz attractor with a chaotic leaky water wheel. The orange dot is the centre of mass of the water. It traces (a projection of) the familiar attractor as the wheel spins seemingly randomly left and right.
14738151
Informatheux @informatheux.bsky.social · 13/09/2026
This is REAL Math, done by REAL Mathematicians (well, computer scientists): They have played us for absolute fools.
020
Reposted by Informatheux
Alice ✨ @welltypedwit.ch · 12/09/2026
you know, i thought the reputation of cousot papers was at least a little exaggerated but no, they actually look like that lol (this is page 3)
a page full of symbols and operators and... biblically accurate expressions spanning several lines casually inlined into regular sentences as if they were obviously understandable
8609
Reposted by Informatheux
Comte Latsu @comtelatsu.bsky.social · 13/09/2026
Hey le Bluesky #jdr ! Y'a t'il des gens intéressés pour une relecture d'un petit hack du monde/chroniques des ténèbres en PBTA ? Je touche au but, mais quelques avis ne seraient pas de refus 😁
464
Reposted by Informatheux
La Alice, lai h'line deusporiante @marwaue.northsky.social · 13/09/2026
Réveille toi bébé, nouveau contenu exhibitionniste sur le feed Vosges
381
Reposted by Informatheux
Mitildide 🧌 @mitildide.bsky.social · 13/09/2026
Ca vous prend autant de temps de diffuser la levée de fonds de mon asso que de venir m'expliquer qu'il ne faut pas dire "sexe réel" mais "genre ressenti" parce que sinon ça sous-entendrait que les personnes trans ne mentent pas et que ce serait transphobe 🙏 www.helloasso.com/associations...
helloasso.com
Campagne de dons 2026 - Espace Santé Trans
Financement participatif organisé par Espace Santé Trans - Santé Trans : Agir ensemble ou tout perdre Pour assurer la pérennité des actions de l'Espace Santé Trans
03133
Reposted by Informatheux
-Boulet- @bouletcorp.bsky.social · 13/09/2026
Un truc qui m'énerve avec les articles en li[PUBLICITÉ VIDÉO DE 30 SECONDES]vigues et que tu v[BOULETCORP SOUHAITE CONNAITRE VOTRE POSITION - AUTORISER ?]rrives à lire une dem[AUTORISEZ-VOUS BOULETCORP À VOUS ENVOYER DES NOTIFICATIONS ?]ouves avec des ale[LA SUITE DE CE POST EST RÉSERVÉ AUX ABONNÉS]
22659124
Reposted by Informatheux
Patrick Cosmos @veryimportant.lawyer · 06/08/2026
Aaron Swartz deserves more justice and reconsideration than almost anybody in this century
142213661
Reposted by Informatheux
Siobhán @shibbi.me · 13/09/2026
“Why *should* we allow mathematicians to dictate the trends under which tech companies are allowed to contribute to math?” Uh idk, because it’s theirs? Because of basic human respect? Because we don’t have the fucking right to take that from them?
4113