Colas Bardavid's Avatar

Colas Bardavid

@colasbd

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

179
Followers
110
Following
275
Posts
01.11.2023
Joined
Posts Following

Latest posts by Colas Bardavid @colasbd

Merci aux testeurs et relecteurs (3/3) !

Nathalie Savazzi
Achraf Toybou
Marvin Verstraete

05.03.2026 15:15 👍 0 🔁 0 💬 0 📌 0

Merci aux testeurs et relecteurs (2/3) !

Flavie Aubourg-Mezerette

Kylian Jourdaine
Jeremy Kuperminc
François Laustriat
Vincent Le Gros
Francis Leclerot
François-Marc Levointurier-Vajda
Ondine Meyer
Anne-Claire Muller
Cédric Pierquet
Manon Rivat
Catherine Rousseau

05.03.2026 15:15 👍 0 🔁 0 💬 1 📌 0

Merci aux testeurs et relecteurs (1/3) !



Flavie Aubourg-Mezerette
Ahmed Ait Hammou Oulhaj
Anthony Amalric
Frédéric Brossard
Stéphane Burgué
Alexandre Charron
Julie Delahaye
Redouane Dziri
Alice Ernoult
Clément Gaboriaud
Laura Gay
Emmanuel Gennequin
Xavier Grand-Jacquot
Nicolas Hubert

05.03.2026 15:15 👍 0 🔁 0 💬 1 📌 0

Merci aux auteurs (2/2) !

Sandrine Larôme
François Laurent
Vincent Le Gruiec
Blaise Le Meaux
Arthur Meyer
Lionel Magnis
Quang-Thai Ngo
Alan Pellé
Hervé Svoboda
Jérôme Trochon

05.03.2026 15:15 👍 0 🔁 0 💬 1 📌 0

Merci aux auteurs (1/2) !



Mélissa Bailloeuil-Inglart
Aude Bernard-Champmartin
Ménard Bourgade
Van Bien Bui
Alain Camanes
Pierre Cauchois
Carole Chabanier
Baptiste Claustre
Geneviève Davion
Anne-Lucie Delvallez
Thomas Desorgeris
Céline Donadei
William Gregory
Benjamin Groux
Nicolas Laillet

05.03.2026 15:15 👍 0 🔁 0 💬 1 📌 0
Preview
Le cahier de calcul pour la Seconde Page professionnelle de Colas Bardavid.

[Maths, Lycée, Cahier de calcul]
Ça y est ! Le cahier de calcul pour la classe de Seconde est enfin disponible après un long travail.
C’est toujours gratuit !
colasbd.github.io/cdc-seconde/
N’hésitez pas à partager !

05.03.2026 15:15 👍 9 🔁 8 💬 1 📌 0
Preview
Public view of The Rocq Prover | Zulip team chat Browse the publicly accessible channels in The Rocq Prover without logging in.

Oh my god, LLMs are autonomously finding inconsistencies in Rocq…

rocq-prover.zulipchat.com#narrow/chann...

02.03.2026 13:01 👍 5 🔁 1 💬 1 📌 0

De quoi se plaignait-il ?

28.02.2026 15:35 👍 0 🔁 0 💬 0 📌 0
Post image Post image

Voici d'autres images.

27.02.2026 19:05 👍 0 🔁 0 💬 0 📌 0
Post image Post image

[Maths, mise en page]
Vous préférez quelle mise en page ?
Version A ou version B ?

27.02.2026 18:57 👍 0 🔁 0 💬 4 📌 0

Degemer mat !

27.02.2026 18:45 👍 1 🔁 0 💬 1 📌 0

Bon courage pour cette phase pas facile !

24.02.2026 18:53 👍 1 🔁 0 💬 0 📌 0

Pour moi, si elle était vraiment intelligente, elle ne dirait pas d’âneries énormissimes. Comment peut-elle résoudre des problèmes de math hyper ardus et en même temps faire d’erreurs de raisonnement graves sur des problèmes dans son angle mort.

22.02.2026 08:08 👍 0 🔁 0 💬 0 📌 0
Mouvement perpetuel ? (vidéo n°530)
Mouvement perpetuel ? (vidéo n°530) YouTube video by Julien Bobroff

Oui le mouvement perpétuel existe, voici la preuve :

youtube.com/shorts/t492m...

21.02.2026 08:42 👍 40 🔁 10 💬 5 📌 0

L'IA est aussi intelligente que ne l'est un perroquet surpuissant qui aurait appris l'intégralité du savoir humain. Quand tu trouves un angle mort où l'IA n'a pas appris par cœur, elle est capable de dire des choses très débiles.

22.02.2026 01:10 👍 0 🔁 0 💬 1 📌 0

Des chercheurs en cybersécurité ont récemment découvert qu'une interface appartenant à Persona, l'entreprise sous-traitante utilisée par Discord, OpenAI ou encore Roblox pour vérifier l'âge des utilisateurs…

20.02.2026 20:51 👍 298 🔁 340 💬 14 📌 39
Post image

👩‍🎓 D'après les #données du #SIES, ptite visualisat° #R que j'ai faite sur l'évolution des effectifs nationaux en 1A pour les filières #cpge #scientifiques MPSI, MP2I, PCSI, PTSI, BCPST1, TSI1, & les 2A correspondantes, de la rentrée 2015 à 2025

Source: Annexe1 (NF SIES 2026-02 Tableaux) #dataesr

21.02.2026 14:42 👍 4 🔁 4 💬 1 📌 0

[Maths, MPSI, PCSI, L1, L2]
Voici le DS5 des MPSI3 du Lycée Chateaubriand, donné en 2023/24.
Un sujet ambitieux sur les matrices !
#Mathsky #iTeachMaths

colasbd.github.io/ds/DS_5_MPSI...

07.02.2026 08:24 👍 1 🔁 1 💬 0 📌 0
Photo de la pile de livre dans la fenêtre de la laverie

Photo de la pile de livre dans la fenêtre de la laverie

Il y a une Encycopaedia Universalis, apparemment complète ou pas loin, en « servez-vous » dans la laverie près de chez moi.
(Rue de l'Oise si ça intéresse quelqu'un.)

03.02.2026 09:13 👍 8 🔁 5 💬 0 📌 1

Lille ?

02.02.2026 18:41 👍 0 🔁 0 💬 0 📌 0
Preview
Le cahier de calcul pour la prépa Page professionnelle de Colas Bardavid.

[Maths, Prépa, Cahier de calcul]
La version 1.3.2 du Cahier de calcul pour la prépa est disponible.
Et, c’est toujours gratuit !
colasbd.github.io/cdc/
N’hésitez pas à partager !
#iTeachMaths #Mathsky

27.01.2026 12:57 👍 3 🔁 2 💬 0 📌 0
Visio

Arrêtez Google Meet, arrêtez Teams, arrêtez Zoom.
Utilisez l'outil Visio de la Suite développée par la Dinum !
visio.numerique.gouv.fr
La seule condition : la personne qui crée la réunion doit s'identifier avec ProConnect (via mail fonctionnel d'un agent de l'État ou SIRET).

24.01.2026 06:31 👍 105 🔁 41 💬 15 📌 11
WeTransfer TOS says they can use all your uploaded content for genAI

WeTransfer TOS says they can use all your uploaded content for genAI

Bye forever, WeTransfer.

14.07.2025 23:57 👍 6944 🔁 3732 💬 211 📌 989

C'est dimanche et vous vous ennuierez peut-être en fin de journée, or ça fait longtemps que je ne vous ai pas parlé de mes aventures héllénophones. Aujourd'hui je ne vous parlerai pas de faux amis rigolos (comme le Ministère des Hypothèses Ésotériques), mais d'écriture.

18.01.2026 12:18 👍 15 🔁 5 💬 1 📌 1
Preview
Le cahier d’entraînement en physique-chimie pour la prépa Page professionnelle de Colas Bardavid.

[Physique/chimie, MPSI, PCSI, PTSI, etc.]
La nouvelle version (1.2.6) du cahier d’entraînement de physique/chimie est en ligne.
colasbd.github.io/cde/
Toujours gratuit !
N’hésitez pas à partager.
#PhysicSky #iTeachPhysics

17.01.2026 12:55 👍 4 🔁 3 💬 0 📌 0
Preview
Les cahiers de calcul pour le lycée Page professionnelle de Colas Bardavid.

[Maths, lycée, Cahiers de calcul]
Les versions 1.5.4 des Cahiers de calcul pour la Première et la Terminale (Spécialité et Maths expertes) sont disponibles.
Et, c’est toujours gratuit !
colasbd.github.io/cdc-lycee/
N’hésitez pas à partager !
#MathSky #iTeachMaths

15.01.2026 22:13 👍 4 🔁 5 💬 0 📌 0
Portrait photographique de Cédric Villani, et une citation : "De nos jours, on peut faire de beaux exposés sur ordinateur, avec des animations, des portraits, des effets. Parfois c'est admirable ! Mais pour faire passer une démonstration ou un concept, pour expliquer une notion subtile dans un cours, pour présenter une idée à un collaborateur, rien n'égale le tableau noir, parfaitement flexible, prêt à s'adapter en temps réel aux caprices du conférencier et aux questions de l'auditoire."

Portrait photographique de Cédric Villani, et une citation : "De nos jours, on peut faire de beaux exposés sur ordinateur, avec des animations, des portraits, des effets. Parfois c'est admirable ! Mais pour faire passer une démonstration ou un concept, pour expliquer une notion subtile dans un cours, pour présenter une idée à un collaborateur, rien n'égale le tableau noir, parfaitement flexible, prêt à s'adapter en temps réel aux caprices du conférencier et aux questions de l'auditoire."

"De nos jours, on peut faire de beaux exposés sur ordinateur, avec des animations, des portraits, des effets. Parfois c'est admirable ! Mais pour faire passer une démonstration ou un concept, pour expliquer une notion [...]" – Cédric Villani (1973-)
#citation #mathématiques #maths #math

15.01.2026 17:02 👍 2 🔁 1 💬 0 📌 0
Preview
Scottish independence accounts go dark after Iran internet blackout Multiple social media accounts posting on UK politics believed to be linked to Tehran regime

Spectaculaire :

Des comptes sur X qui se faisaient passer pour des indépendantistes écossais sont devenus soudainement silencieux... quant l'Iran a coupé Internet sur son sol.

Révélant ainsi l'ingérence iranienne.

(Trop hâte que Poutine coupe internet en Russie, pour voir l'impact en Europe...)

13.01.2026 11:53 👍 827 🔁 378 💬 23 📌 19

Free Iran 🇮🇷 !!

11.01.2026 19:51 👍 1 🔁 0 💬 0 📌 0
Video thumbnail

BIG FIGHT AT POLAND’S WROCLAW ZOO!!!

09.01.2026 20:02 👍 21819 🔁 6410 💬 406 📌 1189