Um Robô Bateu o Recorde de Usain Bolt em Pequim. Minutos Depois, Pegou Fogo Contra uma Parede

No dia 27 de agosto de 2026, em Pequim, um robô humanoide chamado Tiangong Ultra completou os 100 metros rasos em 8,64 segundos — quase um segundo mais rápido que o recorde mundial humano de Usain Bolt (9,58s, Berlim, 2009). A cena foi registrada por câmeras oficiais do evento: o robô cruza a linha de … Ler mais

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

Os cinco universos escondidos por trás de cada senha que você digita

Toda vez que você faz login no banco, compra algo pela internet ou simplesmente vê aquele cadeado ao lado do endereço do site, está confiando em uma promessa matemática que ninguém jamais conseguiu provar. Não é uma falha de engenharia nem um segredo mal guardado — é uma lacuna na própria matemática que sustenta a … 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 paradoxo da segurança do roteamento: por que o RPKI só protege quem o RPKI protege

Em 24 de fevereiro de 2008, a operadora estatal Pakistan Telecom (AS17557) tentou bloquear o YouTube dentro do Paquistão anunciando internamente uma rota falsa para o endereço IP do site. O erro escapou: a operadora de trânsito PCCW Global (AS3491) propagou esse anúncio para o resto do mundo, e por cerca de duas horas e … Ler mais

O protocolo invisível que faz bilhões de relógios baterem juntos

Todos os dias, o seu celular, o roteador de casa, o servidor que processa o cartão de crédito na padaria e o satélite que sustenta o GPS concordam, em silêncio, sobre que horas são. Essa concordância não é natural — relógios de computador, por conta própria, andam torto. Osciladores de quartzo baratos ganham ou perdem … Ler mais

O limite físico que pode travar a internet: por que fibra óptica não aceita “só aumentar a potência”

Toda vez que a internet fica lenta, a solução instintiva parece óbvia: jogar mais potência no sinal. Foi assim que o rádio, o Wi-Fi e até a telefonia celular ganharam alcance e velocidade ao longo de décadas — mais energia no transmissor, sinal mais forte, mais informação chegando limpa do outro lado. Faz sentido, e … Ler mais

Por que a NSA e a CISA estão pedindo o fim do C e do C++ em software crítico

Em junho de 2025, a Agência de Segurança Nacional dos Estados Unidos (NSA) e a Agência de Segurança Cibernética e de Infraestrutura (CISA) publicaram, em conjunto, um documento técnico com um recado direto para quem constrói software crítico: é hora de abandonar C e C++ como linguagens padrão e migrar para linguagens “memory-safe” — seguras … Ler mais