O problema dos generais bizantinos: a matemática de 1982 que impede que um sensor mentiroso derrube um avião

Imagine um avião comercial com três sensores de altitude idênticos, todos ligados ao mesmo computador de bordo. Dois deles informam “30 mil pés”. O terceiro, com um defeito interno, não trava nem apaga — em vez disso, envia para um circuito “29 mil pés” e para outro circuito “31 mil pés”, ao mesmo tempo, sem … Ler mais

Por que a Nasa manda ao espaço processadores mais fracos que um smartphone antigo — e por que isso é uma decisão de engenharia, não atraso

Um smartphone comum guardado na gaveta há dez anos provavelmente tem mais poder de processamento do que o computador que pilota um rover na superfície de Marte agora mesmo. Não é força de expressão: o “cérebro” da Curiosity e da Perseverance é o RAD750, um chip derivado de um processador lançado comercialmente em 1997, rodando … Ler mais

seL4: o kernel que a matemática provou livre de bugs — não apenas testado

Em algum momento de 2016, uma equipe de hackers profissionais recebeu autorização quase total para invadir os sistemas de um helicóptero autônomo Boeing, o Little Bird, com acesso de rede mais generoso do que qualquer adversário real teria. O objetivo era simples de enunciar e brutal de executar: assumir o controle de voo da aeronave. … Ler mais

Willow: o experimento que provou, pela primeira vez, que computadores quânticos podem ser corrigidos — não apenas construídos

Por quase trinta anos, a computação quântica viveu com uma dúvida incômoda que nenhum avanço de engenharia parecia resolver. A teoria dizia que, para tornar um computador quântico confiável, bastava usar vários qubits físicos imperfeitos para construir um único “qubit lógico” mais estável — a mesma lógica por trás dos códigos corretores de erro que … Ler mais

O frade que inventou a contabilidade que o capitalismo usa até hoje

Em 1494, numa Veneza que já era o maior entreposto comercial do Mediterrâneo, uma gráfica imprimiu um calhamaço de mais de 600 páginas sobre matemática, geometria e proporções. O autor era um frade franciscano chamado Luca Pacioli, tão conhecido como matemático quanto como religioso. Escondido no meio da obra — a “Summa de Arithmetica, Geometria, … Ler mais

A moeda paralela que a Suíça criou durante a Grande Depressão — e que nunca deixou de existir

Em 1934, com o crédito bancário suíço estrangulado pelos efeitos da Grande Depressão, um grupo de pequenos empresários de Zurique decidiu resolver sozinho um problema que os bancos não estavam dispostos a resolver: a falta de dinheiro circulante para fechar negócios entre si. A solução foi criar um sistema próprio de crédito mútuo, batizado de … Ler mais

Isaac Newton, o caçador de falsificadores que virou o funcionário público mais implacável da Inglaterra

Em 1696, o homem que havia formulado as leis da gravidade e do cálculo trocou o gabinete acadêmico de Cambridge por uma função burocrática na Casa da Moeda Real britânica, a Royal Mint. Não foi um desvio de carreira discreto. Isaac Newton assumiu o cargo de Warden — algo como diretor-fiscal — da instituição em … Ler mais

A economia que surgiu sozinha dentro de um campo de prisioneiros de guerra

Não havia banco central, não havia governo, não havia sequer a intenção de criar um mercado. Havia apenas homens presos, uma cerca de arame farpado e caixas de mantimentos que chegavam de tempos em tempos pela Cruz Vermelha. Ainda assim, em poucas semanas, dentro dos campos de prisioneiros de guerra alemães da Segunda Guerra Mundial, … Ler mais