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.
De l'expérience de Michelson-Morley à la théorie de la relativité d'Einstein.
L'établissement de la conception matérialiste de l'histoire et la réalité de la classe ouvrière. La vie et la philosophie du héros de l'ombre.
Les chefs-d'œuvre légués par Hayao Miyazaki et Isao Takahata. Histoire et évolution thématique de l'ensemble de leur œuvre.
De la définition des besoins à l'exploitation. Le processus semblable à une cascade qui soutient les projets à grande échelle.
Promoteurs, courtiers et FPI. Les modèles commerciaux de ceux qui créent et font bouger les villes.
L'évolution des marchés financiers, de la Compagnie des Indes orientales au trading algorithmique moderne.
Raccourcissement des télomères, espèces réactives de l'oxygène et dernières sciences du vieillissement (anti-âge).
Née à la suite du grand tremblement de terre de l'Est du Japon en 2011, l'histoire et l'ensemble des technologies de LINE, devenue la super application emblématique de l'Asie grâce à la culture des stickers et à son architecture de communication unique.
Chiffrement de bout en bout (E2EE) et philosophie d'une UI/UX d'une extrême simplicité.
De la méthode CFOP au Nombre de Dieu « 20 », la beauté mathématique cachée dans le puzzle 3D.
Différences avec les machines virtuelles, structure en couches des images, et orchestration des conteneurs. Une analyse de l'essence de la technologie des conteneurs sous l'angle de la physique, de l'histoire et de l'économie.
Des techniques de tannage aux mécanismes du vieillissement (patine).
Des pierres précieuses aux métaux rares industriels, la romance de la géologie cachée dans les roches.
Viseur optique à pentaprisme ou traitement électronique EVF. L'évolution des appareils photo.
Comment une culture unique s'est-elle développée et transformée en un État moderne ?
La relativité générale, l'horizon des événements et le mystère du rayonnement de Hawking.
