Quoi de neuf dans le carnet ?
Retrouvez une explication, un guide pratique ou une expérience récemment révisés. Les textes conservent leur date de publication initiale dans une rubrique séparée.
Parcourir les textesNotes révisées
La date indique une révision, pas une vérification indépendante de chaque affirmation. Cette liste mène aux articles actuels, sans détailler chaque modification.
Décodage spéculatif : propositions, vérification et gains réels de vitesse
Comprendre la correction des probabilités et les coûts, comparer chaînes, arbres et auto-spéculation, puis relier la cohérence du KV aux gains mesurés.
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
Capacité d’un canal : combien d’information transmettre malgré le bruit
Déduire la capacité des canaux binaires de l’information mutuelle, calculer le débit et l’erreur résiduelle d’un code de répétition, et comprendre les conditions du théorème de codage et des