Décès de Tony Hoare

 (lefenetrou.blogspot.com)
1 points par GN⁺ 2026-03-11 | 1 commentaires | Partager sur WhatsApp
  • Il a été annoncé que l’informaticien Tony Hoare est décédé le jeudi 5 mars
  • Il était largement connu pour ses ouvrages comme Structured Programming (1972) et Communicating Sequential Processes (1985)
  • Ses travaux sont cités comme des références majeures dans les domaines de la structuration de la programmation et de la modélisation de la concurrence
  • L’auteur du texte indique avoir appris grâce à ses écrits, en tant que l’un de ses élèves
  • L’article présente également un lien vers l’histoire orale de Jonathan Bowen ainsi que l’article FACS FACTS édition 2024, en guise d’hommage

En mémoire de Tony Hoare

  • Il est mentionné que Jonathan Bowen a annoncé la mort de Tony Hoare le 5 mars

    • La date du décès est précisée comme étant le jeudi 5 mars 2026
    • Un lien vers la page Wikipédia de Hoare est également fourni

  • Deux ouvrages majeurs de Hoare sont cités

    • Structured Programming (1972, Academic Press) — coécrit par Dahl, Dijkstra et Hoare
    • Communicating Sequential Processes (1985, Prentice Hall) — les ISBN des éditions reliée et brochée sont tous deux indiqués
    • Le second peut être consulté en ligne au format PDF sur usingcsp.com, avec également un lien d’archive Wayback Machine

  • Comme référence complémentaire, un lien PDF vers Oral History of Sir Antony Hoare de Jonathan Bowen est fourni

    • Le document est accessible via ResearchGate

  • Une autre référence mentionnée est l’article FACS FACTS 2024 (2), 5–42

    • Auteurs : T. Denvir, J. He, C. B. Jones, A. W. Roscoe, J. Stoy, B. Sufrin, J. P. Bowen
    • Inclut un lien PDF vers le site de la British Computing Society

  • Le texte principal est un court hommage personnel, consacré à l’influence académique de Hoare et à ses écrits

    • Il ne contient pas d’autres souvenirs personnels ni d’évaluation supplémentaire

À lire aussi

1 commentaires

 
GN⁺ 2026-03-11
Réactions sur Hacker News

  • Les commentaires ont maintenant été fusionnés en un seul fil : Tony Hoare has died
    En général, on republie le tout premier post, mais cette fois les informations du message initial étaient insuffisantes, tandis qu’un autre contenait un contenu bien plus personnel et détaillé
    Je laisse ci-dessous les commentaires qui débattaient de la véracité de l’information. Ce n’est pas une critique ; c’était une nouvelle importante, et je veux être clair sur le fait que la contribution de nextos était excellente

  • On dirait que ce post a été masqué de la première page de HN ?

    • Oui. Parce qu’il a été publié alors que la nouvelle n’était pas encore confirmée. Plus de détails ici

  • D’après Wikipedia, il est décédé hier

    • Mais cette modification était sans source, et la date variait entre le 5 mars et le 8 mars
    • À ce stade, il semble que ces modifications aient été annulées

  • Il n’y a pas de bandeau noir en haut de HN ? C’est réservé aux riches ou quoi ?

    • J’espère que vous avez vu ce qui était affiché en haut de HN aujourd’hui, ainsi que les commentaires chaleureux qui l’accompagnaient

  • J’ai raté quelque chose ? Tony Hoare est vraiment décédé ? Je ne vois absolument aucune actualité à ce sujet

    • Je n’ai pas trouvé beaucoup d’autres informations non plus, mais le post affirme ceci 
      > Jonathan Bowen이 3월 5일 목요일 Tony Hoare의 사망 소식을 전해줌 (프랑스어 번역)
      Cela fait déjà 4 jours, et il est étrange qu’aucun autre média n’en ait parlé
    • Malheureusement, cela semble vrai. Je l’ai appris en fin de semaine dernière par un collègue bien placé
    • Pour l’instant, ce n’est qu’une affirmation du post ; il n’y a toujours aucune confirmation officielle ailleurs
    • La page Wikipedia est encore rédigée au présent. Dans ce genre de cas, c’est généralement modifié rapidement, mais ce n’est toujours pas le cas
    • L’auteur du blog dit l’avoir appris de Jonathan Bowen, donc il se peut qu’il n’y ait pas encore eu d’annonce officielle

  • J’ai trouvé ce lien ailleurs. Mais Wikipedia ne mentionne pas de date de décès
    Page Wikipedia de Tony Hoare

  • Sur Wikipedia, il est indiqué comme décédé, mais une guerre d’édition est en cours
    La justification du décès n’est pas précisée, et les modifications et annulations se répètent sans cesse

  • Si cela est confirmé, le créateur de Quicksort mérite bien un bandeau noir en hommage

    • Tony Hoare avait déjà documenté, dès le début des années 1970, presque tous les principes de concurrence des logiciels modernes. Presque tous les modèles antérieurs au concept d’ownership de Rust proviennent de ses idées
    • Son héritage va bien au-delà de Quicksort
    • Oui, il faut mettre le bandeau noir

  • Il est temps de mettre le bandeau noir