Cache hierárquico L1/L2/L3, linhas de cache, transições de estado MESI, a tragédia do Falso Compartilhamento (False Sharing) e modelos de consistência de memória.
Partículas elementares de 'pontos' para 'cordas'. A compactação das dimensões extras por variedades de Calabi-Yau e o estado atual da teoria definitiva que integra a gravidade e a teoria quântica.
Como Bohr respondeu a 'Deus não joga dados'. A complementaridade de ondas e partículas, a inseparabilidade do aparelho de medição e do objeto, o maior ponto de virada no pensamento científico do século XX.
O sistema de memória virtual que sustenta as bases dos SOs e CPUs modernos. Das profundezas do page table walk de 4 níveis, cache TLB e page faults, aos algoritmos de recuperação de memória.
Design interno de GPU que busca o máximo de throughput extremo. A essência do SM, agendamento de warp, Tensor Core e otimização de memória compartilhada.
Do controle mecânico ao controle computadorizado multiplexado por fios. O conflito de filosofias de design entre a Boeing e a Airbus, fusão de sensores e tecnologia de pouso automático.
A obra-prima dos últimos anos de Alan Turing. Uma cobertura completa, desde o incrível mecanismo de padrões de listras e geométricos em animais que emergem a partir de equações de reação-difusão, passando por análise de estabilidade linear e simulações numéricas em Python, até a biologia molecular mais recente.
De 'As Estruturas Elementares do Parentesco' a 'Mitológicas'. A ruptura com o existencialismo de Sartre, a lógica da oposição binária e da troca, e a ordem universal gravada no inconsciente da humanidade.
Liquefação de hélio, refrigeração por diluição e circuitos de proteção contra quench. Engenharia extrema de ímãs supercondutores apoiando o Linear Chuo Shinkansen, ressonância magnética (MRI) e aceleradores de partículas gigantes.
Conjunto de Mandelbrot, paradoxo do litoral e dimensões fracionárias no limite entre 1 e 2 dimensões. A ordem da natureza revelada pela geometria e teoria da medida.
'Ação fantasmagórica à distância' e o paradoxo EPR. O teorema de Bell e os experimentos de Aspect que provaram a falha do realismo local, e o caminho para o Prêmio Nobel.
A verdade e as mentiras do padrão ANSI. Do Dirty Read ao Write Skew, o extremo do MVCC visto através das diferenças de implementação entre PostgreSQL e MySQL (InnoDB).
Copy-on-Write (CoW), autocorreção via checksum em árvore de Merkle, snapshots e RAID-Z. Tecnologias de armazenamento para vencer a corrupção de dados.
Um milagre 100 anos após a previsão de Einstein. A precisão de medição fenomenal do LIGO/Virgo/KAGRA e o futuro da astronomia multimensageira.
A teoria global fundada por Shun'ichi Amari. A métrica de informação de Fisher que geometriza o espaço das distribuições de probabilidade, o método do gradiente natural e a ponte para o aprendizado de máquina.
A história da matemática em torno do problema de coloração de mapas planos. Da falsa prova de Kempe à primeira prova por computador da história por Appel & Haken, até a redefinição da 'beleza' matemática.
Do Nautilus à classe Virginia. O design termo-hidráulico de Reatores de Água Pressurizada (PWR), turbinas a vapor e engrenagens de redução, circulação natural e a engenharia extrema do silêncio furtivo.
Hélio líquido que sobe paredes com viscosidade zero, o efeito fonte e a topologia de vórtices quânticos. A maravilha da BEC, onde bósons se degeneram em uma única função de onda.
Da teoria das ondas de matéria ao projeto de lentes eletromagnéticas, o mundo de resolução ultra-alta que permite visualizar 'um único átomo', aberto pelos corretores de aberração esférica.
A correspondência completa entre provas lógicas e programas de computador. Uma explicação completa desde a lógica intuicionista e o cálculo lambda simplesmente tipado até o Sistema F, os tipos dependentes e o mundo livre de bugs aberto pela Teoria dos Tipos Homotópica (HoTT).
