Tony Hoare (1934–2026)

 (blog.computationalcomplexity.org)
3 pontos por GN⁺ 2026-03-11 | 1 comentários | Compartilhar no WhatsApp
  • O cientista da computação Tony Hoare, conhecido por Quicksort e lógica de Hoare, faleceu aos 92 anos
  • Após estudar clássicos e filosofia, ele entrou na pesquisa em programação depois de passar por treinamento em russo e trabalho com demonstrações dos primeiros computadores
  • Entre as histórias lembradas estão a aposta de “seis pence” com seu chefe, na qual provou a superioridade do Quicksort, e o hábito de ir com frequência ao cinema durante seu período na Microsoft
  • Ele é descrito como uma figura de personalidade humilde e bem-humorada, que manteve memória clara e agudeza intelectual mesmo em idade avançada
  • Suas contribuições para o avanço da ciência da computação e seu lado humano permanecerão como inspiração duradoura para pesquisadores de diferentes gerações

Vida e legado de Tony Hoare

  • Em 5 de março de 2026, Tony Hoare, vencedor do Prêmio Turing e professor da Universidade de Oxford, faleceu aos 92 anos
    • Ele é considerado o criador de conceitos centrais da ciência da computação, como o algoritmo Quicksort, a linguagem ALGOL e a lógica de Hoare
  • O autor do texto afirma que visitou Hoare várias vezes em Cambridge e teve contato pessoal com ele
    • No primeiro encontro, levou uma postagem de blog impressa para iniciar a conversa, e Hoare, lembrando das partes que mencionavam sua pesquisa, explicou a rápida expansão da escala dos programas e as diferenças em relação aos métodos de pesquisa do início da área

Formação acadêmica e início da carreira

  • Hoare estudou clássicos e filosofia na universidade e, depois, aprendeu russo intensivamente na Joint Services School for Linguists
    • Por seu interesse em estatística e computadores, após o serviço militar trabalhou como demonstrador de computadores pioneiros, atuando especialmente em feiras internacionais, incluindo na União Soviética
    • Ele relembrou que, naquela época, um demonstrador não era apenas alguém que explicava a máquina, mas um especialista com compreensão profunda a ponto de participar também do desenvolvimento de código

A aposta do Quicksort e a postura profissional

  • É apresentada uma história de sua época na Elliott Brothers Ltd, quando disse ao chefe que conhecia um algoritmo de ordenação mais rápido e propôs uma aposta de seis pence
    • O Quicksort de fato se provou mais rápido, e o valor da aposta realmente foi pago
    • Seguindo a orientação do chefe, ele implementou primeiro o algoritmo mais lento e só depois apresentou sua própria ideia, mostrando humildade e dedicação profissional

Personalidade e cotidiano

  • Durante seu período na Microsoft em Cambridge, ele teria o hábito de visitar um cinema de arte durante o expediente para assistir a filmes
    • Sobre isso, ele próprio confirmou que “era um dos seus prazeres” e que a empresa permitia
  • Ao comentar uma citação online sobre a representação de “gênios” no cinema que lhe foi atribuída, disse que não tinha certeza se a frase era realmente sua, mas concordava com o conteúdo
    • Ele enfatizou que a capacidade matemática não surge como inspiração instantânea, como nos filmes, mas é resultado de longo tempo de reflexão e aprendizado

Visões sobre tecnologia e o futuro

  • Em uma conversa sobre o futuro da computação, ele disse que “a tecnologia que os governos possuem está anos à frente do que imaginamos”
    • Quando perguntado sobre a possibilidade de tecnologias no nível de quebra de criptografia, evitou dar uma resposta clara e apenas sorriu, mostrando seu gosto por humor e ironia
  • O autor encerra o texto dizendo que sentirá falta de seu humor, paciência e inteligência afiada
    • Presta homenagem com “RIP Tony Hoare (1934–2026)”

Leituras relacionadas

1 comentários

 
GN⁺ 2026-03-11
Comentários do Hacker News

  • Uma das minhas citações favoritas é: “Há duas formas de construir um projeto de software. Uma é fazê-lo tão simples que obviamente não haja deficiências; a outra é fazê-lo tão complicado que as deficiências não sejam óbvias.”
    Sempre achei que isso se aplica não só a software, mas a sistemas complexos ou à lógica como um todo

    • É uma citação realmente excelente. Mas o contexto que vem depois contém a percepção principal
      Ele diz que o primeiro método é muito mais difícil e exige dedicação e percepção para buscar simplicidade dentro de restrições físicas e lógicas
      Isso aparece na palestra do Turing Award dele, "The Emperor’s Old Clothes"
    • É uma pena que ele tenha esperado até o discurso de aceitação do Turing Award para revelar essa frase
      Eu a cito com frequência. Tony é meu cientista da computação favorito
    • Hoje em dia, parece que nossa indústria escolheu completamente o caminho da complexidade com tendências como ‘vibe coding’. RIP Tony
    • Continua sendo verdade mesmo com o passar dos anos
    • Isso me lembra a citação de Pascal — “Eu teria escrito uma carta mais curta, mas não tive tempo”
      Link relacionado

  • É uma história de quando Dijkstra estava se preparando para o fim da vida e organizando seus documentos e correspondências
    Quando um professor perguntou quais cartas ele queria preservar, Dijkstra teria dito do leito de morte: “Deixe apenas as cartas com Tony e jogue fora o resto”
    O professor relembrou com humor seco que as próprias cartas dele estavam nessa “pilha para jogar fora”

    • As correspondências entre John Backus e Dijkstra também valem a leitura
      Link relacionado

  • Em Oxford, existe a tradição de dar a prédios o nome de pessoas importantes
    Tentaram dar um prédio o nome do Dr. Hoare, mas isso viraria ‘Hoare House’ (pronunciado igual a ‘whore’), o que teria sido constrangedor
    Pelo que me lembro, acabaram resolvendo como ‘C.A.R. Hoare Residence’

    • Há uma Tony Hoare Room dentro do Robert Hooke Building. Eu participava de um grupo de estudos sobre aprendizado por reforço lá
      Link relacionado
    • A universidade levou isso a sério demais. Teria sido o nome perfeito como exemplo de sobrecarga
    • Nosso laboratório de computação gráfica na universidade também teve uma situação parecida no passado
      As pessoas do restaurante próximo achavam suspeito ver alunos homens entrando e saindo a toda hora, então se tivesse se chamado “Hoare House” teria sido realmente engraçado
    • Eu recebi o prêmio CAR Hoare na universidade e costumo brincar que isso é melhor do que o “prêmio Hoare”

  • Considerando que a pesquisa dele tratava de sistemas de comunicação sincronizada para reduzir confusão, até a confusão com o nome talvez seja simbólica
    Ele é famoso por causa do null pointer, mas CSP (Communicating Sequential Processes) e occam foram suas verdadeiras obras-primas
    O pessoal do modelo Actor pode ver isso de outro jeito, mas de qualquer forma foi uma conquista impressionante
    Minha citação favorita dele é “Há duas formas de fazer software...”. Realmente combina com ele

    • CSP e Hoare Logic foram revolucionários. Ele foi um forte defensor de métodos formais (formal methods)
      Em certo momento isso não conseguiu se tornar dominante, mas acredito que vai voltar em breve
      Na era do código gerado, a verificação é o gargalo, então ele só estava certo cedo demais
    • Agora abandonamos essa simplicidade e caímos no caos do Async. O software poderia ter sido muito mais simples e elegante
    • O modelo Actor também não é perfeito. Ele falha em compor sistemas pequenos corretos em sistemas grandes corretos
      Uma abordagem inspirada em memória transacional ou bancos de dados parece mais promissora

  • Eu fui entrevistado por Tony para o DPhil no PRG (Programming Research Group) de Oxford
    Passei muito tempo com ele fazendo pesquisa relacionada a CSP
    Fico triste ao pensar que o processo TonyHoare agora está em estado STOP

    • Como a maioria das pessoas, eu esperava que ele DIV em vez de STOP

  • Uma vez o encontrei em Cambridge. Ele era realmente um gigante intelectual de fala mansa
    Costumo citar esta passagem da palestra dele no Turing Award de 1980, ‘The Emperor’s Old Clothes’
    É a história de como a bronca de um chefe — “você mandou os programadores fazerem algo que você não entendia” — acabou apontando a essência do problema
    Na minha interpretação, mesmo que deleguemos trabalho a programadores, compiladores ou LLMs, se não entendermos o resultado, no fim pagaremos o preço

    • Na parte em que “mais tarde ele percebeu que aquilo estava certo”, teria sido ainda mais engraçado se ele tivesse dito diretamente: “Você estava certo”

  • Por volta da Páscoa de 1961, ele disse ter aprendido com Dijkstra, Naur e Landin em um curso sobre ALGOL 60 realizado em Brighton
    Foi ali que aprendeu recursão (recursion) pela primeira vez e escreveu o Quicksort
    Ele relembra que, graças à genialidade dos projetistas do ALGOL 60, pôde expressar suas ideias com elegância
    Ele via o objetivo máximo do projeto de linguagens de programação como permitir expressar boas ideias com elegância

  • O artigo de Tony, An Axiomatic Basis for Computer Programming, foi o primeiro artigo acadêmico que consegui entender completamente quando era graduando
    Essa experiência foi um marco que me deu autoconfiança
    Agora, 35 anos depois, está difícil reler a notação, mas estou pensando em estudá-lo novamente pedindo a uma IA que explique parágrafo por parágrafo
    Link do artigo

  • O princípio dele de que “índices de array devem sempre verificar os limites superior e inferior” foi marcante
    Diz-se que os clientes também queriam verificações seguras em tempo de execução mais do que eficiência
    Em 1980, ele alertou que “ignorar até mesmo essa segurança básica seria ilegal em qualquer outro ramo da engenharia”
    — C.A.R. Hoare, palestra do ACM Turing Award de 1980

  • Em um evento do MSR Cambridge, quando um palestrante disse que “desenvolvedores mais velhos ficam para trás no mundo de hoje”,
    um senhor se levantou e disse calmamente: “Nós também sabemos um pouco”
    Esse homem era Tony Hoare