Tony Hoare verstorben

 (lefenetrou.blogspot.com)
1 Punkte von GN⁺ 2026-03-11 | 1 Kommentare | Auf WhatsApp teilen
  • Es wurde bekannt, dass der Informatiker Tony Hoare am Donnerstag, dem 5. März, verstorben ist
  • Er ist weithin bekannt durch Werke wie „Structured Programming“ (1972) und „Communicating Sequential Processes“ (1985)
  • Seine Arbeiten gelten als zentrale Referenzen in den Bereichen strukturierte Programmierung und Modellierung von Nebenläufigkeit
  • Der Verfasser des Beitrags erklärt, dass er als einer von Hoares Schülern durch dessen Schriften viel gelernt habe
  • Der Text verweist zudem auf einen Oral-History-Link von Jonathan Bowen sowie auf einen Aufsatz aus FACS FACTS 2024 und drückt damit seine Anteilnahme aus

In memoriam Tony Hoare

  • Es wird erwähnt, dass Jonathan Bowen am 5. März die Nachricht vom Tod Tony Hoares überbracht habe

    • Als Sterbedatum wird Donnerstag, der 5. März 2026, genannt
    • Zudem wird ein Wikipedia-Link zu Hoare angegeben

  • Zwei der wichtigsten Werke Hoares werden zitiert

    • „Structured Programming“ (1972, Academic Press) — mit den Koautoren Dahl, Dijkstra und Hoare
    • „Communicating Sequential Processes“ (1985, Prentice Hall) — sowohl die Hardcover- als auch die Paperback-ISBN werden genannt
    • Letzteres ist auf usingcsp.com als PDF online verfügbar; außerdem ist ein Archivlink zur Wayback Machine enthalten

  • Als weitere Referenz wird das PDF „Oral History of Sir Antony Hoare“ von Jonathan Bowen verlinkt

    • Das Dokument ist über ResearchGate zugänglich

  • Zudem wird der Aufsatz FACS FACTS 2024 (2), 5–42 als weitere Referenz genannt

    • Autoren: T. Denvir, J. He, C. B. Jones, A. W. Roscoe, J. Stoy, B. Sufrin, J. P. Bowen
    • Ein PDF-Link auf der Website der British Computing Society ist enthalten

  • Der Haupttext ist ein kurzer persönlicher Nachruf, der Hoares wissenschaftlichen Einfluss und seine Schriften würdigt

    • Weitere persönliche Erinnerungen oder Bewertungen sind nicht enthalten

Verwandte Beiträge

1 Kommentare

 
GN⁺ 2026-03-11
Hacker-News-Kommentare

  • Die Kommentare wurden jetzt in einem Beitrag zusammengeführt: Tony Hoare has died
    Normalerweise wird der zuerst erschienene Beitrag erneut eingereicht, aber diesmal enthielt der frühe Beitrag zu wenig Informationen und ein anderer hatte deutlich persönlichere und ausführlichere Inhalte
    Unten bleiben die Kommentare erhalten, in denen die Echtheit der Nachricht diskutiert wurde. Das soll keine Kritik sein; es war eine wichtige Nachricht, und ich möchte klarstellen, dass auch der Beitrag von nextos hervorragend war

  • Wurde dieser Beitrag auf der HN-Startseite versteckt?

    • Ja. Weil die Nachricht gepostet wurde, als sie noch nicht bestätigt war. Mehr dazu steht hier

  • Laut Wikipedia ist er gestern gestorben

    • Aber diese Bearbeitung hatte keine Quelle, und beim Datum gab es widersprüchliche Angaben, einmal 5. März und einmal 8. März
    • Im Moment sieht es so aus, als seien diese Bearbeitungen rückgängig gemacht worden

  • Warum gibt es oben auf HN keinen schwarzen Balken? Ist der nur für Reiche?

    • Ich hoffe, du hast gesehen, welcher Beitrag heute den ganzen Tag oben auf HN stand, und die warmen Kommentare darin gelesen

  • Habe ich etwas verpasst? Ist Tony Hoare wirklich gestorben? Ich sehe überhaupt keine Nachrichten dazu

    • Ich habe auch keine besonderen Nachrichten gefunden, aber im Beitrag wird Folgendes behauptet 
      > Jonathan Bowen이 3월 5일 목요일 Tony Hoare의 사망 소식을 전해줌 (프랑스어 번역)
      Es ist merkwürdig, dass nach vier Tagen in anderen Medien noch nichts dazu erschienen ist
    • Leider scheint es wahr zu sein. Ich habe Ende letzter Woche von einem Kollegen in vertrauenswürdiger Position davon gehört
    • Es ist bislang nur eine Behauptung des Beitrags, eine offizielle Bestätigung von anderer Stelle gibt es noch nicht
    • Die Wikipedia-Seite steht immer noch im Präsens. In solchen Fällen wird das normalerweise schnell geändert, aber bisher ist sie unverändert
    • Da der Blogautor sagt, er habe es von Jonathan Bowen gehört, könnte es sein, dass es noch keine offizielle Bekanntgabe gibt

  • Ich habe diesen Link anderswo gefunden. Aber auf Wikipedia wird kein Sterbedatum erwähnt
    Tony-Hoare-Wikipedia-Seite

  • Auf Wikipedia wird er als verstorben angezeigt, aber es gibt einen Edit-War
    Der Nachweis für den Todesfall ist nicht angegeben, und es wird fortlaufend geändert und wieder zurückgesetzt

  • Falls es sich als wahr herausstellt, verdient der Erfinder von Quicksort einen schwarzen Balken zum Gedenken

    • Tony Hoare hat schon Anfang der 1970er-Jahre fast alle modernen Prinzipien der Nebenläufigkeit dokumentiert. Fast jedes Modell vor Rusts Ownership-Konzept geht auf seine Ideen zurück
    • Seine Leistungen gehen weit über Quicksort hinaus
    • Ja, es sollte einen schwarzen Balken geben

  • Jetzt ist es Zeit für den schwarzen Balken