Laurent Dietrich
@laurentdietrich.bsky.social
Prof. de math. et un peu d'info en CPGE MPSI. Docteur en mathématiques. Musique. Jeux. Nature. Littérature. Vim et Arch Linux. fr & en. Communications perso.
Même pas envie d'essayer. J'ai quitté ces charlatans il y a 4 ans et je n'ai aucun espoir pour que ce truc fonctionne. De toutes façons ils m'ont ouvertement dit qu'ils allaient me pourrir et même menacé de jamais pouvoir revenir (pour moi c'était encourageant)
November 19, 2025 at 9:10 PM
Même pas envie d'essayer. J'ai quitté ces charlatans il y a 4 ans et je n'ai aucun espoir pour que ce truc fonctionne. De toutes façons ils m'ont ouvertement dit qu'ils allaient me pourrir et même menacé de jamais pouvoir revenir (pour moi c'était encourageant)
Mercy vient de m'appeler pour me prévenir, je devais le voir le 3 décembre. Je suis sous le choc. Il était adorable, impressionnant, et s'était improvisé depuis 2 ans comme mon médecin à tout faire qui me redirigeait partout. Je lui dois beaucoup dans la compréhension et l'amélioration de ma santé.
November 19, 2025 at 4:02 PM
Mercy vient de m'appeler pour me prévenir, je devais le voir le 3 décembre. Je suis sous le choc. Il était adorable, impressionnant, et s'était improvisé depuis 2 ans comme mon médecin à tout faire qui me redirigeait partout. Je lui dois beaucoup dans la compréhension et l'amélioration de ma santé.
Bon ! Mes excuses à python et surtout pypy : il semblerait que defaultdict cause des soucis à pypy car cette version avec listes basiques de Python prend bien 0.5s aussi en pypy
November 19, 2025 at 1:32 PM
Bon ! Mes excuses à python et surtout pypy : il semblerait que defaultdict cause des soucis à pypy car cette version avec listes basiques de Python prend bien 0.5s aussi en pypy
La version qui calcule l'ensemble des diviseurs prend 2sec en pypy par contre ! La flemme de la coder en ocaml mais je pense que c'est plus lent que la première version :)
November 19, 2025 at 1:27 PM
La version qui calcule l'ensemble des diviseurs prend 2sec en pypy par contre ! La flemme de la coder en ocaml mais je pense que c'est plus lent que la première version :)
Ce programme ocaml parfaitement équivalent au premier prend... 3s en interprété et 500ms compilé !
November 19, 2025 at 1:26 PM
Ce programme ocaml parfaitement équivalent au premier prend... 3s en interprété et 500ms compilé !
Python est tellement lent sur ces tâches basiques qu'il est plus rapide dans cette version où je calcule tous les diviseurs avec récursion + mémoisation et les somme : 7 secondes.
November 19, 2025 at 1:26 PM
Python est tellement lent sur ces tâches basiques qu'il est plus rapide dans cette version où je calcule tous les diviseurs avec récursion + mémoisation et les somme : 7 secondes.
Cet exemple est frappant pour montrer à quel point Python peut être lent pour des choses tout à fait basiques. Ce script Python prend 20s sur mon Ryzen R7 1800X. Il prend 10s avec pypy.
(Si je remplace defaultdict par un tableau numpy c'est à peine mieux en python standard et horrible en numpy)
(Si je remplace defaultdict par un tableau numpy c'est à peine mieux en python standard et horrible en numpy)
November 19, 2025 at 1:26 PM
Cet exemple est frappant pour montrer à quel point Python peut être lent pour des choses tout à fait basiques. Ce script Python prend 20s sur mon Ryzen R7 1800X. Il prend 10s avec pypy.
(Si je remplace defaultdict par un tableau numpy c'est à peine mieux en python standard et horrible en numpy)
(Si je remplace defaultdict par un tableau numpy c'est à peine mieux en python standard et horrible en numpy)
Qu'ils leur mettent des clochettes bordel...
November 18, 2025 at 7:08 PM
Qu'ils leur mettent des clochettes bordel...
7 réunions quel enfer ça devrait être le total dans une année
November 18, 2025 at 7:06 PM
7 réunions quel enfer ça devrait être le total dans une année
Les trois marchent pour des raisons de « les données sont faites pour que ça marche » on dirait.
November 18, 2025 at 6:17 AM
Les trois marchent pour des raisons de « les données sont faites pour que ça marche » on dirait.
En fait je me demande s'il existe des solutions *prouvables* qui finissent en temps raisonnable. Mon A* n'est pas correct en réalité. Le glouton naïf n'a pas de raison fondamentale de l'être. La solution de Marc est un DFS donc a priori ne renvoie pas la distance mais en fait si.
November 18, 2025 at 6:17 AM
En fait je me demande s'il existe des solutions *prouvables* qui finissent en temps raisonnable. Mon A* n'est pas correct en réalité. Le glouton naïf n'a pas de raison fondamentale de l'être. La solution de Marc est un DFS donc a priori ne renvoie pas la distance mais en fait si.
J'ai fait ça (selger c'est les règles à l'envers donc les règles de réduction). Je réalise que mon heuristique (longueur de la chaîne) n'est pas admissible car elle crée des distances négatives. Du coup je crois que mon A* non prouvable correct est en fait juste le glouton naïf 😅
November 18, 2025 at 6:06 AM
J'ai fait ça (selger c'est les règles à l'envers donc les règles de réduction). Je réalise que mon heuristique (longueur de la chaîne) n'est pas admissible car elle crée des distances négatives. Du coup je crois que mon A* non prouvable correct est en fait juste le glouton naïf 😅
Fioouu ! Je m'en suis sorti avec un A* sur le graphe transposé, avec comme heuristique la taille des molécules. Au fond je dois suivre le même chemin que le l'algo glouton naïf mais au moins je comprends pourquoi ça marche (et du coup je comprends pourquoi le glouton marche maintenant !)
November 17, 2025 at 8:35 PM
Fioouu ! Je m'en suis sorti avec un A* sur le graphe transposé, avec comme heuristique la taille des molécules. Au fond je dois suivre le même chemin que le l'algo glouton naïf mais au moins je comprends pourquoi ça marche (et du coup je comprends pourquoi le glouton marche maintenant !)
Oui moi je suis content :)
November 17, 2025 at 8:34 PM
Oui moi je suis content :)
Day 19 Part 2 : là ça commence à être difficile. La solution canonique est un parcours en largeur mais le graphe a une croissance exponentielle donc c'est peine perdue. On est tentés de faire un algo glouton qui réduit la chaîne cible mais je ne sais pas justifier sa correction !
Day 19 - Advent of Code 2015
adventofcode.com
November 17, 2025 at 6:55 PM
Day 19 Part 2 : là ça commence à être difficile. La solution canonique est un parcours en largeur mais le graphe a une croissance exponentielle donc c'est peine perdue. On est tentés de faire un algo glouton qui réduit la chaîne cible mais je ne sais pas justifier sa correction !
Je me suis découvert une nouvelle arme aussi : les defaultdict(dict) qui sont un peu des matrices creuses et sont bien pratiques pour les problèmes de graphes pondérés où on a souvent besoin du coût A → B sans pour autant être dans une itération des voisins de A.
November 15, 2025 at 7:28 PM
Je me suis découvert une nouvelle arme aussi : les defaultdict(dict) qui sont un peu des matrices creuses et sont bien pratiques pour les problèmes de graphes pondérés où on a souvent besoin du coût A → B sans pour autant être dans une itération des voisins de A.
C'est pour ça que les babyloniens avaient leurs CPGE à 60 places
September 23, 2025 at 10:03 AM
C'est pour ça que les babyloniens avaient leurs CPGE à 60 places
Plusieurs collègues de secondaire m'ont confié faire ça car « résoudre des inégalités c'est trop dur pour les élèves »
September 10, 2025 at 12:57 PM
Plusieurs collègues de secondaire m'ont confié faire ça car « résoudre des inégalités c'est trop dur pour les élèves »
UPS ne livre jamais
September 5, 2025 at 6:41 PM
UPS ne livre jamais
Non elles seront bien dorées par contre.
August 29, 2025 at 4:32 PM
Non elles seront bien dorées par contre.