Dernières publications
Les nouvelles notes et les articles du blog, du plus récent au plus ancien.
Voir les révisionsLire « Attention Is All You Need » : l’article original du Transformer
Lecture section par section de Vaswani et al. 2017 – le problème du parallélisme et des dépendances lointaines, l’attention par produit scalaire mis à l’échelle et multi-têtes, l’encodage po
Décodage spéculatif : propositions, vérification et gains réels de vitesse
Vérifier comment activer le décodage spéculatif dans un runtime local, puis comprendre par la correction des probabilités et des exemples de coûts quand il accélère vraiment, et comparer cha
Index vectoriels : recherche exacte, HNSW et IVF
Partir d’une métrique et d’une référence exacte pour comprendre comment HNSW et IVF réduisent les comparaisons et mesurer les voisins manqués.
Arbres de recherche équilibrés et requêtes ordonnées
Comprendre les requêtes, les rotations et la suppression par successeur, puis borner la hauteur avec les invariants rouge-noir et comparer les conteneurs ordonnés.
Représenter un graphe : listes d’arêtes, listes d’adjacence et matrices
Comparer l’espace et le coût des opérations sur un petit graphe, traiter les doublons, les boucles et les sommets isolés, puis choisir une représentation adaptée aux algorithmes.
Tables de hachage : collisions, charge et redimensionnement
Comprendre les contraintes sur les clés, les collisions, la charge et les coûts en espérance et amortis grâce à une trace avec suppression et reconstruction.
Suivre une requête réseau : DNS, connexions, TLS et HTTP
Suivre un nom d’hôte jusqu’à la réponse HTTP, comprendre les ports, les certificats, les proxys et localhost, puis localiser les pannes par couche.
Processus, espaces d’adressage et mémoire
Comprendre l’exécution des processus, la mémoire virtuelle et les ressources héritées, puis distinguer les frontières des processus, des conteneurs et des machines virtuelles.
Données relationnelles, SQL et transactions
Relier tables, clés, jointures, NULL, contraintes, index, transactions concurrentes et effets externes à partir de commandes et de stocks.
Concurrence et Asyncio : responsabilité des tâches, attente et annulation
Choisir coroutines, threads ou processus, comprendre l’ordonnancement coopératif et l’état partagé, puis gérer délais et échecs avec une file bornée.
Optimalité sous contraintes et certificats duaux
Résoudre un programme quadratique à deux variables, vérifier les contraintes actives et les multiplicateurs KKT, puis certifier l’optimalité par l’écart primal–dual.
Dénombrement et preuves combinatoires
Définir les objets à compter, puis résoudre des problèmes finis par bijection, double dénombrement, inclusion–exclusion et principe des tiroirs, pour évaluer le coût d’une recherche et de se