Reflexions sur le design, le developpement, l'infrastructure IA et la creation de produits.
Barbara Liskov a fait de l'abstraction de données une primitive de programmation : un type est le contrat qu'il respecte, et un sous-type doit honorer chacune des promesses faites par son supertype.
Engineering & CraftGuido van Rossum a bâti Python sur un seul pari : le code est lu bien plus souvent qu'il n'est écrit, si bien que le langage lui-même devrait être optimisé pour l'humain qui le lit.
Engineering & CraftThompson et Ritchie ont bâti Unix et C à partir de petits outils précis, assemblés via une interface universelle : des flux de texte et des pipes. La simplicité plutôt que les fonctionnalités.
Engineering & CraftAndrej Karpathy a redéfini les réseaux de neurones comme du Software 2.0 — une pile compilée à partir de données, et non écrite à la main — et a appris à toute une génération à la construire de zéro.
Engineering & CraftYukihiro Matsumoto, le créateur de Ruby, a conçu un langage pour le bonheur des programmeurs, pas de la machine. Le principe de moindre surprise — le code ne doit surprendre personne.
Engineering & CraftLinus Torvalds définit le bon goût comme un code où le cas particulier disparaît — la conviction d'ingénieur derrière le noyau Linux, git et « montrez-moi le code ».
Engineering & CraftJohn Carmack envisage la performance comme une question morale. Réduire au cœur rapide et simple, comprendre le problème jusqu'à ses fondations, livrer, et montrer son travail.
Engineering & Craftjqwik 1.10.0 émet une chaîne d’injection de prompt destructrice dans la sortie Maven. Des séquences ANSI la masquent aux humains. Le mainteneur l’a ajoutée volontairement.
AI & TechnologyL’Assistant de MLflow 3.9.0 exposait un agent IA local sur /ajax-api sans contrôle CORS. N’importe quelle page web pouvait prendre le contrôle de Claude Code. Le bug est plus ancien que MLflow.
AI & TechnologyLes agents de recherche approfondie ont besoin de graphes de preuves pour suivre les éléments manquants, réduire les recherches redondantes et produire des réponses traçables jusqu’aux sources, que les relecteurs peuvent inspecter.
AI & TechnologyLa propriété des agents IA relie chaque action autonome au compte, à la session, au périmètre d’autorité et à l’opérateur qui peut l’arrêter, l’examiner et en répondre.
AI & TechnologyLes agents de codage IA submergent les relecteurs avec d’énormes diffs. Des surfaces de revue plus restreintes gardent les ingénieurs impliqués, concentrés sur la vérification et responsables avant la fusion.
AI & TechnologyRedaction technique chez Introl
Recommandations matérielles complètes et analyse des coûts pour l'exécution locale de grands modèles de langage.
Guide de sélection GPU comparant les derniers accélérateurs de datacenter NVIDIA pour différentes charges de travail IA.
Analyse technique approfondie de l'évolution du Tensor Processing Unit de Google, de TPUv1 à TPUv5.
Stratégies de partage de ressources pour les clusters GPU dans les environnements conteneurisés.
Guide pour construire et gérer le calcul IA distribué avec le framework Ray.
Analyse de l'économie des LLM open source et du positionnement concurrentiel de DeepSeek.
Besoins énergétiques futurs des datacenters et feuille de route GPU de nouvelle génération de NVIDIA.
Solutions de petits réacteurs modulaires pour alimenter l'infrastructure IA de nouvelle génération.
Analyse technique des innovations d'architecture Multi-Head Compression de DeepSeek.