Le contexte du 'Principe de substitution de Liskov' de SOLID. Une plongée approfondie dans le parcours de Barbara Liskov et ses contributions aux types de données abstraits et aux systèmes distribués.
De l'horloge de Lamport à Paxos et au problème des généraux byzantins. Retraçons le parcours de Leslie Lamport, géant de l'informatique.
À travers des exemples concrets tels que les KPI, l'éducation scolaire, les réseaux sociaux et l'évaluation de l'IA, nous explorons comment un indicateur devenu un objectif perd sa valeur intrinsèque et fait s'effondrer le système.
L'histoire de HTTP, HTML et de la philosophie du Web ouvert.
Le succès unique du Japon et la transition vers l'ère des smartphones.
Les origines de l'histoire des semi-conducteurs et de l'informatique. Des limites des tubes à vide à l'invention aux laboratoires Bell et à la naissance de la Silicon Valley, expliquées en détail.
L'histoire de l'invention de l'interface graphique (GUI), de la souris, d'Ethernet et de Smalltalk.
Une traversée de l'histoire d'entreprise d'Intel, AMD, Apple et NVIDIA. Une plongée approfondie dans les batailles architecturales historiques entre x86, ARM et RISC-V, l'hégémonie sur le marché mobile, l'impact d'Apple Silicon, l'émergence de l'ISA open source RISC-V et ses implications géopolitiques et technologiques.
L'histoire de l'ASCII, du Shift_JIS et de l'UTF-8 jusqu'aux emojis.
Le lien entre la transformée en cosinus discrète et la vision humaine. Une plongée approfondie des fondements mathématiques de la compression JPEG jusqu'à la généalogie des WebP/AVIF modernes.
D'Adobe PostScript au projet Camelot permettant le partage de documents indépendamment du système d'exploitation, nous explorons l'histoire et l'évolution technique du PDF devenu la norme mondiale des documents numériques.
Prolifération des normes, alimentation électrique et relations avec Thunderbolt.
Analyse transversale du réseau, de la sécurité et des performances.
Guide de migration pour les entreprises suite à la standardisation du NIST et concept d'agilité cryptographique
Explication de la mise en œuvre en tant qu'infrastructure d'observabilité standard et indépendante des fournisseurs.
Guide complet de la défense de la chaîne d'approvisionnement dans GitHub Actions et CI/CD. Des leçons de l'incident SolarWinds à la génération et la gestion des SBOM (SPDX/CycloneDX), en passant par les 4 niveaux de SLSA et l'implémentation de la vérification des signatures avec Sigstore, nous expliquons tout en détail.
Comprendre les technologies de recherche rapide au cœur du RAG.
Standardisation des API, des agents et de la sécurité.
Une plongée plus profonde dans llama.cpp et la quantification. Du mur de la bande passante mémoire à PagedAttention et au Speculative Decoding, nous expliquons en détail les goulots d'étranglement de l'inférence Transformer et les dernières technologies d'optimisation.
Le guide complet pour créer des systèmes d'IA de nouvelle génération : évolution des agents IA, modèle ReAct, Plan-and-Solve, mécanismes de mémoire, réflexion et systèmes multi-agents
