Falecimento de Tony Hoare

• Foi divulgado que o cientista da computação Tony Hoare faleceu na quinta-feira, 5 de março
• Ele é amplamente conhecido por obras como Structured Programming (1972) e Communicating Sequential Processes (1985)
• Seus trabalhos são citados como referências centrais nas áreas de programação estruturada e modelagem de concorrência
• O autor do texto afirma, como um dos alunos de Hoare, que aprendeu por meio de seus escritos
• O texto também apresenta um link para a história oral de Jonathan Bowen e o artigo FACS FACTS edição 2024, transmitindo suas condolências

---

Em memória de Tony Hoare

• Menciona ter recebido de Jonathan Bowen a notícia da morte de Tony Hoare em 5 de março

  • A data da morte é indicada como quinta-feira, 5 de março de 2026
  • Também é apresentado um link para a Wikipédia de Hoare

• São citadas duas obras principais de Hoare

  • Structured Programming (1972, Academic Press) — coautores Dahl, Dijkstra, Hoare
  • Communicating Sequential Processes (1985, Prentice Hall) — com ISBNs de capa dura e brochura informados
  • Esta última pode ser lida online em PDF no usingcsp.com, com link arquivado na Wayback Machine

• Como material de referência adicional, é fornecido um link em PDF para Oral History of Sir Antony Hoare, de Jonathan Bowen

  • Documento acessível via ResearchGate

• Outra referência apresentada é o artigo FACS FACTS 2024 (2), 5–42

  • Autores: T. Denvir, J. He, C. B. Jones, A. W. Roscoe, J. Stoy, B. Sufrin, J. P. Bowen
  • Inclui link para PDF no site da British Computing Society

• O corpo do texto é uma breve homenagem pessoal, composta por conteúdo que celebra a influência acadêmica e os escritos de Hoare

  • Não inclui recordações pessoais adicionais nem avaliações

[GN⁺]

Opiniões do Hacker News

• Agora os comentários foram consolidados em um só: Tony Hoare has died
  Normalmente repostamos a publicação que saiu primeiro, mas desta vez o post inicial tinha poucas informações e o outro trazia um conteúdo muito mais pessoal e detalhado
  Abaixo, ficam os comentários que discutiam a veracidade da notícia. Não é uma crítica; era uma notícia importante, e quero deixar claro que a contribuição do nextos foi excelente

• Parece que este post foi escondido da primeira página do HN?

  • Sim. Porque a notícia foi publicada quando ainda estava não confirmada. Mais detalhes aqui

• Segundo a Wikipedia, ele faleceu ontem

  • Mas essa edição não tinha fonte, e a data também divergia entre 5 de março e 8 de março
  • Neste momento, parece que essas edições foram revertidas

• Não tem faixa preta no topo do HN? É só para os ricos?

  • Espero que você tenha visto o que ficou no topo do HN ao longo de hoje e os comentários calorosos ali

• Perdi alguma coisa? Tony Hoare realmente faleceu? Não estou vendo nenhuma notícia

  • Também não encontrei muita coisa, mas o post afirma o seguinte

    > Jonathan Bowen이 3월 5일 목요일 Tony Hoare의 사망 소식을 전해줌 (프랑스어 번역)
    

    É estranho que, depois de 4 dias, nada tenha saído em outros veículos
  • Infelizmente, parece ser verdade. Ouvi isso no fim da semana passada de um colega em posição confiável
  • Até agora é só a alegação do post; ainda não há confirmação oficial em outro lugar
  • A página da Wikipedia ainda está no tempo presente. Nesses casos isso normalmente é corrigido rápido, mas continua igual
  • Como o autor do blog diz que ouviu isso de Jonathan Bowen, talvez ainda não tenha havido anúncio oficial

• Encontrei este link em outro lugar. Mas a Wikipedia não menciona a data de falecimento
  Página da Wikipedia de Tony Hoare

• Na Wikipedia está marcado como falecido, mas está havendo uma guerra de edições
  A base para a morte não está especificada, e seguem repetindo edições e reversões

• Se isso for confirmado, o criador do Quicksort merece ser homenageado com uma faixa preta

  • Tony Hoare já tinha documentado, no começo dos anos 1970, quase todos os princípios de concorrência do software moderno. Quase todo modelo anterior ao conceito de ownership do Rust vem das ideias dele
  • As realizações dele vão muito além do Quicksort
  • Sim, merece a faixa preta

• Agora é hora de colocar a faixa preta