Voilà pour celles et ceux qui disent que L’Equipe ne met pas le handball féminin à l’honneur (le lendemain d’une finale de Roland-Garros en plus !). Ça va plaire à @fuzzyraptor.bsky.social !
Cet article fascinant m’a renvoyé à l’époque du projet Polymath et des blogs de Gowers et Tao, en retraçant la généalogie qui les lie à Lean et aux preuves par l’IA. J’en recommande la lecture ! (via @monniauxd.bsky.social)
@damefanny.bsky.social Je t’ai vue mais j’ai pas osé demander de free hug 🌈🌈