Les origines du traitement du Big Data et la généalogie menant à Hadoop.
La gestion des processus/threads par l'OS et la raison d'être de la boucle d'événements.
La construction en éponge, un nouveau mécanisme de hachage cryptographique.
Comment le compilateur transforme radicalement le code écrit par les humains.
Les coulisses de la structure arborescente qui minimise les E/S disque.
Cohérence, disponibilité ou latence ?
DFA et NFA, pourquoi certaines expressions régulières sont-elles catastrophiquement « lentes ».
L'essence des algorithmes qui divisent et mémorisent les problèmes.
Algorithmes d'approximation pour évaluer et compter des données massives avec peu de mémoire.
Les coulisses de la connexion moderne et le fonctionnement des JWT (JSON Web Token).
Nous expliquons l'évolution de l'Edge AI et du NPU, un matériel qui accélère l'inférence dans le terminal sans dépendre du cloud, leurs différences avec les CPU/GPU, et les techniques d'optimisation.
Résolution du problème de blocage en tête de ligne et intégration du chiffrement.
Des spécifications telles que Paint API et Typed OM qui repoussent les limites de CSS.
De FIPA-ACL aux environnements multi-agents modernes (AutoGen, etc.). Nous explorons en profondeur l'évolution de la communication des agents et l'importance de sa normalisation.
Méthodes d'attaque contre l'IA et sécurisation des prompts système. Explication approfondie de l'injection de prompt, du jailbreak, des attaques indirectes et de la défense en profondeur.
La révolution de la communication avec la sérialisation binaire et HTTP/2.
L'infrastructure Web3 qui permet de prouver ce que l'on sait sans révéler de mot de passe. Une explication complète des mécanismes mathématiques des preuves à divulgation nulle de connaissance jusqu'à leurs applications dans la blockchain.
Une technologie qui dépasse les limites de la simple recherche vectorielle. Plongée approfondie dans les méthodes d'extraction de liens sémantiques utilisant des graphes de connaissances et l'architecture de GraphRAG.
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.
