La completa coincidencia entre las demostraciones lógicas y los programas informáticos. Una explicación completa desde la lógica intuicionista y el cálculo lambda simplemente tipado hasta el Sistema F, los tipos dependientes y el mundo libre de errores abierto por la Teoría de Tipos Homotópica (HoTT).
La entropía de Bekenstein, la evaporación por radiación de Hawking y el choque entre la teoría de cuerdas y el principio holográfico en torno a la pérdida de información.
De Nausicaä do Vale do Vento a O Menino e a Garça. Um guia completo em 8 capítulos sobre a história, técnicas de animação e evolução dos temas do Studio Ghibli, o orgulho do Japão para o mundo.
¿Cómo funciona la infraestructura más grande en la historia de la humanidad? Un análisis exhaustivo desde su historia, protocolos y capa física hasta las comunicaciones del futuro.
La historia completa y la tecnología detrás de LINE, que surgió a raíz del Gran Terremoto del Este de Japón en 2011 y ha crecido hasta convertirse en una súper aplicación representativa de Asia a través de su cultura de stickers y su arquitectura de comunicación única.
Diferencias con las máquinas virtuales, estructura de capas de imágenes y orquestación de contenedores. Desentrañando la esencia de la tecnología de contenedores desde las perspectivas de la física, la historia y la economía.
