Filosofia de Engenharia: Adi Shamir
Adi Shamir é o S de RSA e um mestre da criptanálise: constrói sistemas seguros aprendendo a quebrá-los, virando teoria dos números pura em mecanismo.
Engineering & CraftReflexões sobre design, desenvolvimento, infraestrutura de IA e criação de produtos.
Adi Shamir é o S de RSA e um mestre da criptanálise: constrói sistemas seguros aprendendo a quebrá-los, virando teoria dos números pura em mecanismo.
Engineering & CraftO framework Foundation Models da Apple: LanguageModelSession, geração guiada com @Generable, chamada de ferramentas e quando abandonar o modelo local.
AI & TechnologyO framework Translation da Apple: tradução on-device gratuita via translationPresentation e TranslationSession, mais as arestas do download offline.
AI & TechnologyO Swift 6.2 inverte a concorrência: padronize seu módulo para MainActor (SE-0466), execute async nonisolated no chamador (SE-0461), escape com @concurrent.
AI & TechnologyFei-Fei Li deu olhos à IA ao construir o ImageNet, apostando que dados em escala, e não um modelo mais engenhoso, eram o ingrediente que faltava.
Engineering & CraftLeCun ergueu a visão computacional sobre a convolução e depois apostou que a inteligência real vem do aprendizado não supervisionado, não de LLMs maiores.
Engineering & CraftSatoru Iwata foi o programador que virou presidente da Nintendo sem nunca deixar de ser gamer: maestria técnica a serviço da alegria de quem joga.
Engineering & CraftSophie Wilson projetou o conjunto de instruções ARM — hoje em quase todo celular do mundo — com uma equipe minúscula e uma eficiência RISC implacável.
Engineering & CraftRoberto Ierusalimschy projetou Lua com um princípio: mecanismos, não política. Pequena, rápida e embarcável, ela dá as alavancas.
Engineering & CraftJoanna Rutkowska criou o Qubes OS sobre uma paranoia razoável: software sem bugs não existe, então presuma o comprometimento e isole o raio de impacto.
Engineering & CraftRadia Perlman inventou o Spanning Tree Protocol e criou redes que se curam sozinhas, corretas mesmo quando os nós mentem.
Engineering & CraftBarbara Liskov tornou a abstração de dados uma primitiva: um tipo é o contrato que cumpre, e um subtipo precisa honrar as promessas do supertipo.
Engineering & CraftRedação técnica em Introl
Recomendações abrangentes de hardware e análise de custos para executar modelos de linguagem grandes localmente.
Guia de seleção de GPU comparando os mais recentes aceleradores de datacenter da NVIDIA para diferentes cargas de trabalho de IA.
Análise técnica aprofundada da evolução da Unidade de Processamento Tensor do Google, do TPUv1 ao TPUv5.
Estratégias de compartilhamento de recursos para clusters de GPU em ambientes containerizados.
Guia para construir e gerenciar computação de IA distribuída com o framework Ray.
Análise da economia de LLMs de código aberto e do posicionamento competitivo da DeepSeek.
Requisitos futuros de energia para datacenters e o roteiro de GPUs de próxima geração da NVIDIA.
Soluções de reatores modulares pequenos para alimentar a infraestrutura de IA de próxima geração.
Análise técnica das inovações da arquitetura Multi-Head Compression da DeepSeek.