Reposted by Colas BardavidGro-Tsen @gro-tsen.bsky.social · 29/09/2026Pet peeve: ce n'est pas «119% du PIB», c'est «14 mois et 8½ jours de PIB». Arrêtez de présenter le rapport dette/PIB comme un nombre sans dimension (qui donne l'impression que «100%» est magique), alors qu'il est homogène à une durée (qu'on comprend bien mieux). 44310
Colas Bardavid @colasbd.bsky.social · 19/09/2026[Maths, MPSI, PCSI, L1] Voici le premier DS des MPSI 3 du lycée Chateaubriand de Rennes. colasbd.github.io/ds/DS_1_MPSI...colasbd.github.io 001
Reposted by Colas BardavidCamille Roux @camilleroux.com · 02/09/2026Zuzai : nouveau mot pour désigner ce qui est fait sans IA, acronyme récursif ("zuzai uses zero artificial intelligence"). Alternative positive à "AI-free", comparée à l'invention du mot "vegan" en 1944. ⬇️ zuzai.org 📬 Recevoir ma veille 272
Reposted by Colas BardavidCamille Roux @camilleroux.com · 02/09/2026Un dev solo voulait faire une ville qui semble vivante, uniquement avec des caractères ASCII. Le résultat donne le vertige : trafic, piétons, tours, arbres, profondeur, collisions. Le tout généré par un moteur maison dans un seul fichier HTML. ⬇️ www.youtube.com/watch?v=3YtygAx_C6A 182
Colas Bardavid @colasbd.bsky.social · 24/08/2026[Tirage au sort] Gagnez un exemplaire du « Cahier de calcul » pour la classe de Seconde, en partageant ce message avant le 6 septembre 23h59. Deux livres à gagner ! colasbd.github.io/cdc-seconde/colasbd.github.ioLe cahier de calcul pour la SecondePage professionnelle de Colas Bardavid. 124
Colas Bardavid @colasbd.bsky.social · 22/08/2026[Maths, lycée] Le projet d’écriture d’automatismes avance ! Si vous souhaitez nous donner votre avis, nous avons besoin de personnes pour trier ces fiches par ordre de difficulté. Chaque personne pourra trier un ou des lots de 3 fiches. Si vous êtes intéressé, contactez-moi ! 003
Reposted by Colas BardavidRoger Mansuy @roger-mansuy.bsky.social · 22/08/2026Le livre "Introduction aux graphes aléatoires" (Calvage-et-Mounet, 2020) est épuisé depuis plus d'un an. Comme je reçois régulièrement des courriers sur ce texte, j'ai rédigé une seconde édition que je place en accès libre sur: www.rogermansuy.fr/pdf/GraphesA... Bonne lecture! 67729
Colas Bardavid @colasbd.bsky.social · 15/08/2026Un point de vue intéressant sur IA et maths. t.co/AIa6MNPNLVt.cohttps://www.ams.org/journals/notices/202607/noti3373/noti3373.html 021
Reposted by Colas BardavidTimothy Gowers @wtgowers.bsky.social · 12/08/2026I've just written a blog post about whether current LLMs are better at some kinds of mathematics than others, with an emphasis on "current", given how quickly the situation is developing. gowers.wordpress.com/2026/08/12/w...gowers.wordpress.comWhat sort of maths are LLMs good at?For the sake of anyone who might read this blog post in the distant future (a month from now, say), let me mention that I am writing it a few days after OpenAI announced that it had solved ten majo… 77316
Reposted by Colas BardavidNicolas @nicolascabe.eurosky.social · 21/07/2026Ma pétition est en ligne sur le site de l’assemblée. Elle pose une question simple : à quoi sert une plateforme de pétitions si même 500 000, 700 000 ou plus d’un million de signatures ne garantissent ni débat, ni vote, ni réponse motivée ? 👉 petitions.assemblee-nationale.fr/initiatives/... 310174
Reposted by Colas BardavidGro-Tsen @gro-tsen.bsky.social · 20/07/2026Going through van den Essen's book on the Jacobian Conjecture trying to see “why did people even think this might be true?”, I learned that there were already several Jacobian-like conjectures that were refuted with a simple counterexample: ⬇️ 1324
Reposted by Colas BardavidCamille Roux @camilleroux.com · 15/07/2026Le plus bel outil de visualisation de regex que j'ai vu depuis des années. Regex Vis est un visualiseur et éditeur de regex qui rend les expressions régulières plus lisibles. ⬇️ regex-vis.com 181
Reposted by Colas BardavidMi Dwo @midwo.bsky.social · 11/07/2026Des utilisateurs de Fairphone 6 et Murena par ici ? (RT appréciés pour recueillir des témoignages) 4726
Colas Bardavid @colasbd.bsky.social · 09/07/2026Une des vidéos d'une série documentaire que j'adore. Ça m'a fait penser à toi Claire @claireplacial.bsky.social Tu connais j'imagine ? www.arte.tv/fr/videos/11... Merci @gro-tsen.bsky.socialarte.tvQuand l'histoire fait dates - 1143 - La traduction du Coran - Regarder le documentaire complet | ARTELorsque Pierre le Vénérable, abbé de Cluny, à l'occasion d'un voyage en Espagne, commande la première traduction latine du livre sacré des musulmans, c’est pour mieux comprendre ce qu’il doit combattr... 020
Reposted by Colas BardavidPhobos 🌈 @phoboscosplay.com · 08/07/2026Nantes/Rezé 🚨 : si vous avez vraiment trop chaud, la Croix Rouge a ouvert un espace climatisé GRATUIT de midi à 21h, tous les jours au moins jusqu'au 14 juillet. C'est une grande salle avec des tables, chaises, espace jeux enfants, des jeux de société, wifi, eau fraîche, sanitaires avec douches. 6233219
Reposted by Colas BardavidRoger Mansuy @roger-mansuy.bsky.social · 08/07/2026La série documentaire sur Bourbaki par Marie Durrieu est dès à présent disponible sur la chaîne de l'Institut Henri Poincaré 1. Le Village Mathématiques www.youtube.com/watch?v=cthC... 2. Les enfants terribles www.youtube.com/watch?v=sCEg... 3. La supercherie www.youtube.com/watch?v=8r4g...youtube.comÉpisode 1 Le Village MathématiquesYouTube video by Institut Henri Poincaré 11810
Reposted by Colas Bardavidbit101 @bit101.mstdn.social.ap.brid.gy · 26/06/2026animated excircles (and an incircle) 032
Colas Bardavid @colasbd.bsky.social · 01/07/2026[Maths, Seconde, Cahier de calcul] La version 1.2.2 du Cahier de calcul pour la Seconde est en ligne. Et, c’est toujours gratuit ! colasbd.github.io/cdc-seconde/ N’hésitez pas à partager !colasbd.github.ioLe cahier de calcul pour la SecondePage professionnelle de Colas Bardavid. 097
Colas Bardavid @colasbd.bsky.social · 21/06/2026[Cahier de calcul] Ça y est, le Cahier de calcul pour la Seconde est disponible dans vos librairies ! C’est un excellent livre, idéal pour s’entraîner et se renforcer en calcul. N’hésitez pas à l’acheter pour vos enfants, et à en parler autour de vous. Bons calculs ! colasbd.github.io/cdc-seconde/colasbd.github.ioLe cahier de calcul pour la SecondePage professionnelle de Colas Bardavid. 276
Reposted by Colas BardavidCatsuka @catsuka.bsky.social · 04/06/2026RIP Marjane Satrapi (1969-2026) 3251682125
Reposted by Colas BardavidJohn C. Baez @johncarlosbaez.bsky.social · 02/06/2026I signed this declaration. leidendeclaration.ai But I had a comment about one passage. (1/n)leidendeclaration.aiLeiden Declaration on Artificial Intelligence and MathematicsThis declaration calls for action to address the challenges posed by the use of artificial intelligence within mathematics research. 2226
Reposted by Colas BardavidRoger Mansuy @roger-mansuy.bsky.social · 02/06/2026Aujourd'hui les élèves de terminales (et quelques autres) vont recevoir les premières réponses de parcoursup: rappelons qu'avec le fonctionnement de cette plateforme qui laisse in fine le choix aux étudiants, il est normal de recevoir des réponses "En attente" même avec un excellent dossier. 022
Colas Bardavid @colasbd.bsky.social · 31/05/2026Cette carte correspond à mon expérience (France, Écosse). J'ai toujours entendu dire que le stop en Espagne était très dur (donc je n'ai jamais tenté). 000
Reposted by Colas BardavidMarc de Falco @marcdefalco.eurosky.social · 27/05/2026Neuf problèmes d'Erdos d'un coup... Toujours avec la méthode de Deepmind de faire générer des formalisations en lean. Je n'ai pas lu toutes les preuves mais je m'étonne de la simplicité de certaines : est-ce le signe que ces problèmes ont été peu regardés ou un biais ? arxiv.org/pdf/2605.22763arxiv.org 052
Reposted by Colas BardavidFranque-Emmanuel TLG @viviane-dpr.rivals.space.ap.brid.gy · 25/05/2026Avez-vous déjà vu... Les notes de service de Claude François ? 1711660
Colas Bardavid @colasbd.bsky.social · 23/05/2026Caméra cachée dans une école maternelle à Paris et dans les services de la mairie. Très choquant et révélateur du système du périscolaire parisien. www.youtube.com/watch?v=15HK...youtube.comViolences verbales, baisers forcés : immersion dans le périscolaire à Paris – Cash InvestigationYouTube video by france tv 000
Colas Bardavid @colasbd.bsky.social · 23/05/2026Témoignage d'une mère sur les violences dans le périscolaires à Paris. Ultra choquant www.youtube.com/watch?v=DgHo...youtube.comViolences en maternelle : le calvaire des enfants de Saint-DominiqueYouTube video by Le Figaro 000
Reposted by Colas BardavidJean Abou Samra @jeanas.bsky.social · 22/05/2026The Budapest type theory group is hiring a postdoc to work on higher observational type theory. lists.seas.upenn.edu/pipermail/ty...lists.seas.upenn.edu [TYPES/announce] Postdoc position in type theory 045
Colas Bardavid @colasbd.bsky.social · 21/05/2026Expérience désagréable : appeler la CAF pour demander des renseignements . 000
Colas Bardavid @colasbd.bsky.social · 08/05/2026ChatGPT est désormais capable de répondre à des questions de recherche en maths. Voir le post de blog de Timothy Gowers (médaille Fields, @wtgowers.bsky.social). gowers.wordpress.com/2026/05/08/a...gowers.wordpress.comA recent experience with ChatGPT 5.5 ProWe are all having to keep revising upwards our assessments of the mathematical capabilities of large language models. I have just made a fairly large revision as a result of ChatGPT 5.5 Pro, to whi… 010
Colas Bardavid @colasbd.bsky.social · 05/05/2026Idée d'app pour téléphone : une mémoire artificielle. Je pourrais dire à cette app "le bon volume pour les sacs poubelle à acheter est 50L" et, le moment voulu, lui demander : "que sais-tu sur la taille des sacs poubelle que je dois acheter ?", etc. 1/3 100
Colas Bardavid @colasbd.bsky.social · 28/04/2026[Maths, Lycée, Cahier de calcul] Les versions 1.7.0 des Cahiers de calcul pour la Première et la Terminale sont en ligne. Et, c’est toujours gratuit ! colasbd.github.io/cdc-lycee/ N’hésitez pas à partager !colasbd.github.ioLes cahiers de calcul pour le lycéePage professionnelle de Colas Bardavid. 0812
Reposted by Colas BardavidCNRS Mathématiques @cnrs-insmi.bsky.social · 20/04/2026Frank Merle reçoit le prix Breakthrough 2026 de mathématiques 🏆 Médaillé d’argent du @cnrs.fr en 2005, Frank Merle est professeur à @cy-univ.bsky.social et détient une chaire à l'IHESS. Il est membre de l' @academiesciences.bsky.social depuis 2023. ▶️ bit.ly/4tpUdFAbit.lyLe mathématicien Frank Merle, lauréat singulier du Breakthrough, prix créé par les grandes fortunes de la Silicon ValleyLe mathématicien de 63 ans, qui va recevoir 3 millions de dollars, est le troisième Français à obtenir cette récompense dans sa discipline. Dans sa spécialité, l’analyse, il a bâti une école de pensée... 0115
Reposted by Colas BardavidAuthueil @authueil.bsky.social · 14/04/2026Article très intéressant, qui interpelle la communauté de la Wikipédia francophone, sans acrimonie (et en sachant de quoi il parle). Il est sain qu'il y ait des regards extérieurs qui questionnent un groupe finalement très endogame www.actu44.fr/wikipedia-ne...actu44.frWikipedia n’est pas une encyclopédie libre : la face cachée de sa gouvernanceWikipedia se présente comme un espace ouvert, mais son fonctionnement révèle une gouvernance très fermée, dominée par une minorité de contributeurs et des règles de validation strictes. 31710
Reposted by Colas BardavidDavid Monniaux @monniauxd.bsky.social · 07/04/2026Donc pourquoi la Lune tourne toujours la même face vers la Terre. C'est une histoire de marées. 4136
Reposted by Colas BardavidDame Fanny @damefanny.bsky.social · 06/04/2026Vous écoutez quoi comme podcast les gens du blueblue (je cherche plutôt à écouter des meufs on va pas mentir) 🎙️🎧 34233
Colas Bardavid @colasbd.bsky.social · 05/04/2026[Physique/chimie, MP, PC, PSI, etc.] La nouvelle version (1.5.2) du cahier d’entraînement de physique/chimie (pour les deuxièmes années) est en ligne. colasbd.github.io/cde-2/ #PhysicSky #iTeachPhysicscolasbd.github.ioLes cahiers d’entraînement en physique-chimie pour les deuxièmes années de prépaPage professionnelle de Colas Bardavid. 021
Reposted by Colas BardavidFérus de Géographie @ferusdegeo.bsky.social · 05/04/2026Carte inutile donc indispensable, épisode 22 : La France… avec le nombre de poules pondeuses dans les exploitations bio par département en 2024 6289
Reposted by Colas BardavidPaysages Mathématiques @paysmaths.bsky.social · 05/04/2026"En mathématiques, dès lors que l'on accorde une attention sérieuse aux idées mathématiques, le symbolisme est invariablement une immense simplification. Il est non seulement d'une utilité pratique [...]" – Alfred North Whitehead (1861-1947) #citation #mathématiques #maths #math 021
Reposted by Colas BardavidMarjolaine Koch @marjolainekoch.bsky.social · 05/04/2026Une claque, ce docu. On plonge dans l'enfer des parents qui ont mis leurs bébés devant des écrans très très tôt, et qui découvrent avec horreur les séquelles, notamment ce qu'ils nomment un "autisme environnemental", quelque temps plus tard. A partager abondamment. www.radiofrance.fr/francecultur...radiofrance.frComprendre le YoutubelishA Bondy (Seine-Saint-Denis), au sein du service de pédopsychiatrie de l'hôpital Jean Verdier, la pédiatre Sylvie Dieu Osika dirige une consultation unique en France dédiée aux très jeunes enfants sure... 515684
Colas Bardavid @colasbd.bsky.social · 29/03/2026[Maths, Lycée, Cahier de calcul] Les versions 1.6.0 des Cahiers de calcul pour la Première et la Terminale sont en ligne. Et, c’est toujours gratuit ! colasbd.github.io/cdc-lycee/ N’hésitez pas à partager !colasbd.github.ioLes cahiers de calcul pour le lycéePage professionnelle de Colas Bardavid. 112
Reposted by Colas BardavidAstropierre @astropierre.com · 24/03/2026Historique ! Une équipe de l’expérience BASE au CERN a réalisé une 1ère mondiale en transportant, en camion, un dispositif contenant 92 antiprotons d’un bout à l’autre du site principal du laboratoire. Objectif: livrer de l'antimatière à d’autres laboratoires en Europe 🧪 home.cern/fr/news/pres... 87311