Sign in

Colas Bardavid

@colasbd.bsky.social
193 followers 122 following 323 posts

Professeur de maths (en MPSI) et d'informatique (en PCSI). Je m’intéresse aussi à l’UX design, à la philo, aux arts, etc. • colasbd.github.io •

PostsRepliesMedia
Reposted by Colas Bardavid
Gro-Tsen @gro-tsen.bsky.social · 29/09/2026
Pet 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
Colas Bardavid @colasbd.bsky.social · 05/09/2026
Dernier week-end pour participer 👇
001
Reposted by Colas Bardavid
Camille Roux @camilleroux.com · 02/09/2026
Zuzai : 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
Le mot "zuzai" écrit à la craie sur le pavé gris d'une rue, illustrant ce nouveau terme désignant les choses créées ou réalisées sans intelligence artificielle.
272
Reposted by Colas Bardavid
Camille Roux @camilleroux.com · 02/09/2026
Un 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
Une skyline urbaine futuriste créée entièrement en caractères ASCII de couleurs variées (orange, jaune, bleu, vert), sans modèles 3D ni ombrages, représentant une ville cyberpunk explorable et interactive dans un seul fichier HTML.
182
Colas Bardavid @colasbd.bsky.social · 27/08/2026
Participez en partageant le post ci-dessous 👇
001
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.io
Le cahier de calcul pour la Seconde
Page 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 Bardavid
Roger Mansuy @roger-mansuy.bsky.social · 22/08/2026
Le 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!
Page de titre de la seconde édition du livre "Introduction aux graphes aléatoires"
67729
Colas Bardavid @colasbd.bsky.social · 15/08/2026
Un point de vue intéressant sur IA et maths. t.co/AIa6MNPNLV
t.co
https://www.ams.org/journals/notices/202607/noti3373/noti3373.html
021
Reposted by Colas Bardavid
Timothy Gowers @wtgowers.bsky.social · 12/08/2026
I'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.com
What 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 Bardavid
Nicolas @nicolascabe.eurosky.social · 21/07/2026
Ma 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/...
Visuel annonçant l’ouverture d’une pétition sur la plateforme de l’Assemblée nationale. La pétition demande soit de suspendre cette plateforme, soit de lui donner une véritable portée démocratique. Elle part du constat que plusieurs pétitions récentes ont recueilli des centaines de milliers, voire plus d’un million de signatures, sans qu’un débat, un vote ou une réponse motivée soient garantis. La démarche est volontairement paradoxale : plus la pétition recueillera de signatures, plus la démonstration sera forte. Si elle conduit à une réforme, elle aura atteint son objectif ; si elle est classée sans suite malgré une mobilisation massive, elle illustrera précisément le problème qu’elle dénonce. Le message invite à signer, mais surtout à partager largement la pétition et à la relayer auprès des citoyens, des médias, des journalistes, des associations et des élus.
310174
Reposted by Colas Bardavid
Gro-Tsen @gro-tsen.bsky.social · 20/07/2026
Going 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: ⬇️
Book excerpt that describes the Samuelson conjecture and immediately gives a simple counterexample.Book excerpt that describes the Real Jacobian conjecture and immediately gives a counterexample due to Pinchuk.
1324
Reposted by Colas Bardavid
Camille Roux @camilleroux.com · 15/07/2026
Le 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
Capture d'écran de l'outil **Regex Vis**, un visualiseur d'expressions régulières, affichant cinq exemples de regex (nombres entiers, décimaux, positifs/négatifs et URL) sous forme de diagrammes de flux interactifs sur fond sombre.
181
Reposted by Colas Bardavid
Mi Dwo @midwo.bsky.social · 11/07/2026
Des 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/2026
Une 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.social
arte.tv
Quand l'histoire fait dates - 1143 - La traduction du Coran - Regarder le documentaire complet | ARTE
Lorsque 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
Colas Bardavid @colasbd.bsky.social · 09/07/2026
000
Reposted by Colas Bardavid
Phobos 🌈 @phoboscosplay.com · 08/07/2026
Nantes/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 Bardavid
Roger Mansuy @roger-mansuy.bsky.social · 08/07/2026
La 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ématiques
YouTube video by Institut Henri Poincaré
11810
Reposted by Colas Bardavid
bit101 @bit101.mstdn.social.ap.brid.gy · 26/06/2026
animated 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.io
Le cahier de calcul pour la Seconde
Page 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.io
Le cahier de calcul pour la Seconde
Page professionnelle de Colas Bardavid.
276
Colas Bardavid @colasbd.bsky.social · 07/06/2026
Bientôt en librairie !
083
Reposted by Colas Bardavid
Catsuka @catsuka.bsky.social · 04/06/2026
RIP Marjane Satrapi (1969-2026)
3251682125
Reposted by Colas Bardavid
John C. Baez @johncarlosbaez.bsky.social · 02/06/2026
I signed this declaration. leidendeclaration.ai But I had a comment about one passage. (1/n)
leidendeclaration.ai
Leiden Declaration on Artificial Intelligence and Mathematics
This declaration calls for action to address the challenges posed by the use of artificial intelligence within mathematics research.
2226
Reposted by Colas Bardavid
Roger Mansuy @roger-mansuy.bsky.social · 02/06/2026
Aujourd'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/2026
Cette 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 Bardavid
Marc de Falco @marcdefalco.eurosky.social · 27/05/2026
Neuf 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.22763
arxiv.org
052
Reposted by Colas Bardavid
Franque-Emmanuel TLG @viviane-dpr.rivals.space.ap.brid.gy · 25/05/2026
Avez-vous déjà vu... Les notes de service de Claude François ?
Note de service à :
FRANCOISE
Je ne trouve plus le disque de NAT KING COLE "MONA LISA" alors j'en ai marre qu'il n'y ait pas plus d' ordre chez moi.
Il me semble t' avoir deja dit d' eb parler avec la ferme de ménage. Je veux que tu lui expliques une bonne fois pour toutes, bordel c' est pas compliqué!!! C'est pareil pour mes chaussures pourquoi elle ne les cire donc pas? Arlette la précédente était une perle rare, elle le faisait au moins. Maintenant C' est. moi qui me tape ça c' est tout à fait anormal.
A propos de godasses, après les avoir cirées correctemen avec le cirage correspondant, noir pour noir, marron pour marron etc etc, les ranger dans le meuble à chaussures sans oublier de leur remettre leurs formes sinon ça ne sert à rien.
C'est l' ultime message pour les chaussures, après c'est mon pied au culNote de service à : GERARD
Je ne te le répeterai pas, je veux que tu tiennes compte qu'à aucun moment je ne rembourse 1' argent emprunté par ma mère.
Elle va ten demander très vite très souvent et à chaque fois. Sois ferme, car il est inutile de me
concerner.Note de service à :
GERARD
J'aimerais que tucesses de dérégler le siège chauffeur de ma voiture à chaque fois que tu l' empruntes; et puis j'aimerais aussi que tu ne touches plus au rétroviseur intérieur aussi bien qu'extérieur.
Tu dois t'efforcer d' adopter ma conduite, même si nos jambes n'ont pas la même longeur, elles n' auront de toutes façon jamais la même longueur..G. FLORIANT N. LHUILLIER
LIS BIEN CETTE NOTE DE SERVICE CAR JE NE PLAISANTE PAS L'OLERE D'UNE SECONDE.
JE NE TOLERERAI PLUS JAMAIS QUE TU OSES ME DONNER DES CASSETTES NON REMBOBINEES A LEUR DEPART.
C'EST LA DERNIERE FOIS DE TA VIE QUE TU LE FAIS.
JE TE PREVIENG: JE NE PLAISANTERAI PLUS. LA PROCHAINE FOIS, TU SERAS SURPRIS. IL Y AURA CETTE FAMEUSE REXXXXXX DIFFERENCE DE PENALITE PAR RAPPORT A LA FAUTE QUE PERSONNE NE COMPREND JALAIS PARCE QU'ON NE SE REND PAS COMPTE QUE CE N'EST PAS LA FAUTE ELLE MELE QUE JE JUGE MAIS LES INNOMBRABLES FAUTES REPETEES QUE JE JUGE D'UN SEUL COUP POUR LA MENE FAUTE. NELE SI ELLE PARAIT RIDICULE SUR LE MOMENT, CE SONT TOUTES LES AUTRES EN MEME TEMPS QUE JE SANCTIONNERAI.
DONC, JE TE PREVIENS: PLUS JAMAIS DE BOBINES NON REMBOBINEES JUSQU'AU BOUT. JE TE PREVIENS POUR LA DERNIERE FOIS DE TA VIE.
1711660
Colas Bardavid @colasbd.bsky.social · 23/05/2026
Camé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.com
Violences verbales, baisers forcés : immersion dans le périscolaire à Paris – Cash Investigation
YouTube video by france tv
000
Colas Bardavid @colasbd.bsky.social · 23/05/2026
Témoignage d'une mère sur les violences dans le périscolaires à Paris. Ultra choquant www.youtube.com/watch?v=DgHo...
youtube.com
Violences en maternelle : le calvaire des enfants de Saint-Dominique
YouTube video by Le Figaro
000
Reposted by Colas Bardavid
Jean Abou Samra @jeanas.bsky.social · 22/05/2026
The 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/2026
Expérience désagréable : appeler la CAF pour demander des renseignements .
000
Colas Bardavid @colasbd.bsky.social · 20/05/2026
ChatGPT a résolu un problème ouvert majeur
010
Reposted by Colas Bardavid
Aidan McGlynn @aidanmcglynn.bsky.social · 14/05/2026
Never forget:
A google search for 'are there snakes at thesis defenses', with an AI overview that starts 'Yes, some universities have a tradition of including a "snake fight" portion in thesis defenses." and then goes on to give details just lifted from the McSweeney's article.
724075
Colas Bardavid @colasbd.bsky.social · 08/05/2026
ChatGPT 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.com
A recent experience with ChatGPT 5.5 Pro
We 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/2026
Idé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.io
Les cahiers de calcul pour le lycée
Page professionnelle de Colas Bardavid.
0812
Reposted by Colas Bardavid
CNRS Mathématiques @cnrs-insmi.bsky.social · 20/04/2026
Frank 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/4tpUdFA
bit.ly
Le mathématicien Frank Merle, lauréat singulier du Breakthrough, prix créé par les grandes fortunes de la Silicon Valley
Le 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 Bardavid
Authueil @authueil.bsky.social · 14/04/2026
Article 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.fr
Wikipedia n’est pas une encyclopédie libre : la face cachée de sa gouvernance
Wikipedia 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
Colas Bardavid @colasbd.bsky.social · 07/04/2026
Une discussion intéressante !
000
Reposted by Colas Bardavid
David Monniaux @monniauxd.bsky.social · 07/04/2026
Donc pourquoi la Lune tourne toujours la même face vers la Terre. C'est une histoire de marées.
4136
Reposted by Colas Bardavid
Dame Fanny @damefanny.bsky.social · 06/04/2026
Vous é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 #iTeachPhysics
colasbd.github.io
Les cahiers d’entraînement en physique-chimie pour les deuxièmes années de prépa
Page professionnelle de Colas Bardavid.
021
Reposted by Colas Bardavid
Férus de Géographie @ferusdegeo.bsky.social · 05/04/2026
Carte 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 Bardavid
Paysages 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
Portrait photographique d'Alfred North Whitehead, et une citation : "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, mais aussi d'un grand intérêt. Car il représente une analyse des idées du sujet et une représentation presque picturale de leurs relations mutuelles."
021
Reposted by Colas Bardavid
Marjolaine Koch @marjolainekoch.bsky.social · 05/04/2026
Une 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.fr
Comprendre le Youtubelish
A 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
Reposted by Colas Bardavid
Rosemary Mosco @rosemarymosco.com · 20/03/2026
Pigeon milk.
A six panel comic. In panel 1, a banner says "Pigeons make milk" and a smaller banner says "A fact you didn't need to know". A pigeon stands looking at the reader next to a carton of milk. In panel 2, the text says "Like mammals, pigeons feed milk to their babies. Both male and female pigeons produce it." Two pigeons sit next to their pink and gray babies, all looking happy, and one of the parents says, "Teamwork." In panel 3, the text says "Pigeons don't have nipples. They make milk in a part of their esophagus and regurgitate it." Two pigeons stand next to each other, one with a cow udder and one with a line of nipples down its chest, with red X's next to them. In panel 3, the text says "Amazingly, it evolved independently from mammal milk but it's triggered by the same hormone, prolactin." A black and white dairy cow looks down at a pigeon, who says "We're not so different, you and I." In panel 5, the text says "Like our milk, it has fats, proteins, immune-supporting substances, and more." A cow foot and a pigeon wing are shown high-fiving, and text says "milk high five". In panel 6, the text says "However, it's very chunky, so don't trust any pigeon to make you a good latte." A white coffee cup steaming with a latte inside is shown with the contents censored, and a pigeon leans into the frame looking proud of itself.
732657737
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.io
Les cahiers de calcul pour le lycée
Page professionnelle de Colas Bardavid.
112
Reposted by Colas Bardavid
Astropierre @astropierre.com · 24/03/2026
Historique ! 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...
Camion transportant le piège BASE-STEP rempli d'antiprotons (Image: CERN)
87311