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).
A entropia de Bekenstein, evaporação pela radiação de Hawking e o embate entre a teoria das supercordas e o princípio holográfico em torno da perda de informação.
De Nausicaä do Vale do Vento a O Menino e a Garça. Um guia completo em 8 capítulos sobre a história, as técnicas de animação e a evolução dos temas do Studio Ghibli, o orgulho do Japão para o mundo.
Como funciona a maior infraestrutura da história da humanidade? Uma análise profunda da história, protocolos, camada física até a comunicação do futuro.
A essência do Scrum, Kanban e do Manifesto Ágil para Desenvolvimento de Software.
