La conception interne des GPU qui pousse le haut débit à son paroxysme. L'essence des SM, de l'ordonnancement des warps, des Tensor Cores et de l'optimisation de la mémoire partagée.
Herbert O. Yardley et le MI-8. Le décryptage des codes du ministère japonais des Affaires étrangères lors du traité naval de Washington, la fermeture sous prétexte que « les gentlemen ne lisent pas le courrier des autres » par Stimson, et la généalogie menant à la NSA.
Le miracle, 100 ans après la prédiction d'Einstein. La précision de mesure stupéfiante de LIGO/Virgo/KAGRA et l'avenir de l'astronomie multi-messagers.
De la production individuelle de « La Voix d'une étoile lointaine » à « Your Name. » et « Suzume ». Réinterprétation du photoréalisme, conception colorimétrique des effets d'objectif et de la lumière ambiante, et théorie narrative du sekai-kei et de la catastrophe.
Les solutions d'énergie négative prédites par l'équation de Dirac. La découverte du positron, la production et l'annihilation de paires, et la cosmologie de 'pourquoi seule la matière est restée'.
Hiérarchie des caches L1/L2/L3, lignes de cache, transitions d'état MESI, la tragédie du faux partage (False Sharing) et les modèles de cohérence de la mémoire.
Comment Bohr a-t-il répondu à l'affirmation « Dieu ne joue pas aux dés » ? La complémentarité onde-particule, l'inséparabilité de l'appareil de mesure et de l'objet, le plus grand tournant de la pensée scientifique du 20e siècle.
Théorie mondiale fondée par Shun'ichi Amari. Pont vers la métrique d'information de Fisher, la méthode du gradient naturel et l'apprentissage automatique qui géométrise l'espace des distributions de probabilité.
L'histoire mathématique autour du problème de coloriage de cartes planes. De la fausse preuve de Kempe à la première preuve informatique de l'histoire par Appel & Haken, jusqu'à la redéfinition de la « beauté » mathématique.
Copy-on-Write (CoW), auto-réparation via les sommes de contrôle de l'arbre de Merkle, snapshots et RAID-Z. Les technologies de stockage pour vaincre la corruption de données.
Le « CFS », cœur du noyau Linux. Mathématiques de la gestion du vruntime par arbre rouge-noir, de l'équilibrage de charge pour NUMA et du contrôle des quotas par cgroups.
De la théorie des ondes de matière à la conception des lentilles électromagnétiques, le monde de la très haute résolution qui permet de visualiser « un seul atome » grâce aux correcteurs d'aberration sphérique.
Mensonges et vérités de la norme ANSI. De Dirty Read à Write Skew, le summum du MVCC vu à travers les différences d'implémentation entre PostgreSQL et MySQL (InnoDB).
Du Nautilus à la classe Virginia. Conception thermohydraulique du réacteur à eau pressurisée (REP), turbines à vapeur et réducteurs, ingénierie de l'extrême pour la circulation naturelle et le silence furtif.
L'hélium liquide qui grimpe aux murs avec une viscosité nulle, l'effet fontaine, la topologie des vortex quantiques. Les merveilles de la BEC, où les bosons dégénèrent en une fonction d'onde unique.
Des particules élémentaires sous forme de « points » aux « cordes ». Compactification des dimensions supplémentaires par les variétés de Calabi-Yau, et l'état actuel de la théorie ultime unifiant la gravité et la théorie quantique.
L'adéquation parfaite entre les preuves logiques et les programmes informatiques. Une explication complète allant de la logique intuitionniste et du lambda-calcul simplement typé jusqu'au Système F, aux types dépendants et à la théorie des types homotopique (HoTT) ouvrant la voie à un monde sans bugs.
L'entropie de Bekenstein, l'évaporation par rayonnement de Hawking, et la collision entre la théorie des supercordes et le principe holographique autour de la perte d'information.
Comment fonctionne la plus grande infrastructure de l'histoire de l'humanité ? Une analyse approfondie de l'histoire, des protocoles, de la couche physique jusqu'aux communications de l'avenir.
L'essence de Scrum, Kanban et du Manifeste pour le développement agile de logiciels.
