Tony Hoare qua đời

• Nhà khoa học máy tính Tony Hoare được cho là đã qua đời vào thứ năm, ngày 5 tháng 3.
• Ông được biết đến rộng rãi qua các cuốn sách như Structured Programming (1972) và Communicating Sequential Processes (1985).
• Tác phẩm của ông được nhắc đến như tài liệu tham khảo then chốt trong lĩnh vực lập trình có cấu trúc và mô hình hóa đồng thời.
• Tác giả bài viết cho biết mình là một trong những học trò của Hoare và đã học được nhiều điều từ các tác phẩm của ông.
• Bài viết đồng thời giới thiệu liên kết tiểu sử truyền miệng của Jonathan Bowen và bài báo FACS FACTS 2024, gửi lời tưởng niệm.

---

Nhớ Tony Hoare

• Nêu rằng đã nghe tin việc Tony Hoare qua đời từ Jonathan Bowen vào ngày 5 tháng 3.

  • Ngày mất được ghi là thứ năm, 5 tháng 3 năm 2026.
  • Đồng thời đưa thêm liên kết Wikipedia của Hoare.

• Hai tác phẩm chính của Hoare được trích dẫn:

  • 『Structured Programming』(1972, Academic Press) — đồng tác giả Dahl, Dijkstra, Hoare
  • 『Communicating Sequential Processes』(1985, Prentice Hall) — cung cấp cả ISBN bìa cứng và bìa mềm
  • Tác phẩm sau có thể đọc trực tuyến dưới dạng PDF tại usingcsp.com, và có cả liên kết lưu trữ trên Wayback Machine.

• Là tài liệu tham khảo bổ sung, bài viết đưa ra liên kết PDF của Jonathan Bowen cho bài phỏng vấn truyền miệng Oral History of Sir Antony Hoare

  • Đây là tài liệu có thể truy cập qua ResearchGate.

• Một tài liệu tham khảo nữa là bài viết FACS FACTS 2024 (2), 5–42

  • Tác giả: T. Denvir, J. He, C. B. Jones, A. W. Roscoe, J. Stoy, B. Sufrin, J. P. Bowen
  • Bao gồm liên kết PDF trên website của British Computing Society.

• Nội dung chính là một bài tưởng niệm ngắn với việc ca ngợi ảnh hưởng học thuật và các tác phẩm của Hoare.

  • Không có nội dung bổ sung về hồi tưởng hay đánh giá cá nhân.

[GN⁺]

Bình luận trên Hacker News

• Mình đã gộp các bình luận lại thành một: Tony Hoare has died
  Thông thường mình sẽ đăng lại bài đầu tiên, nhưng lần này bài đầu có thông tin thiếu, và bài khác có nội dung rất cá nhân và chi tiết hơn Ở dưới mình để lại các bình luận bàn về tính xác thực của tin. Không phải phê bình, chỉ muốn nhấn mạnh rằng đây là tin quan trọng và rằng đóng góp của nextos là tuyệt vời

• Có vẻ bài này bị ẩn khỏi trang chủ HN?

  • Đúng rồi. Nó xuất hiện khi tin vẫn còn trong trạng thái chưa được xác minh. Xem thêm chi tiết tại đây

• Theo Wikipedia thì ghi ông qua đời vào hôm qua

  • Nhưng phần chỉnh sửa đó không có nguồn, mà ngày tháng lại khác nhau: 5/3 và 8/3
  • Tại thời điểm hiện tại, các chỉnh sửa đó có vẻ như đã bị hoàn tác

• HN không có dải đen ở đầu trang à? Chỉ dành cho người giàu hả?

  • Hy vọng hôm nay bạn đã nhìn thấy có gì trên đầu trang HN cả ngày và cả những bình luận đầy ấm áp bên trong đó

• Có gì tôi đang bỏ sót không? Tony Hoare có thực sự đã qua đời? Tôi không thấy tin này ở đâu hết

  • Mình cũng không tìm thấy tin đáng chú ý nào khác, nhưng bài này lập luận như sau

    > Jonathan Bowen đã thông báo vào thứ Năm ngày 5 tháng 3 rằng Tony Hoare đã qua đời (bản dịch tiếng Pháp)
    

    Điều khó hiểu là đã qua đi 4 ngày rồi mà không có bất kỳ kênh nào đưa tin về điều này
  • Rất đáng tiếc, nhưng có vẻ là sự thật. Mình có nghe từ một đồng nghiệp có vị trí đáng tin cậy vào cuối tuần trước
  • Đây chỉ là tuyên bố của bài này, và xác nhận chính thức từ nơi khác vẫn chưa có
  • Trang Wikipedia vẫn đang dùng thì hiện tại. Trong các trường hợp như thế này, thường sẽ sửa nhanh, nhưng vẫn chưa
  • Tác giả blog nói rằng mình nghe từ Jonathan Bowen, nên có thể vẫn chưa có thông báo chính thức

• Mình đã tìm thấy liên kết này ở nơi khác. Nhưng Wikipedia không đề cập đến ngày mất Trang Wikipedia Tony Hoare

• Wikipedia hiển thị là đã mất, nhưng đang có cuộc chiến chỉnh sửa Không có căn cứ cho tuyên bố qua đời và việc chỉnh sửa/hoàn tác đang diễn ra liên tục

• Nếu điều này được xác nhận là sự thật, người sáng lập Quicksort xứng đáng được tưởng nhớ bằng dải đen

  • Tony Hoare đã ghi lại hầu hết các nguyên lý đồng thời của phần mềm hiện đại từ đầu những năm 1970. Hầu hết các mô hình trước khái niệm sở hữu của Rust đều bắt nguồn từ ý tưởng của ông
  • Công lao của ông vượt xa khỏi Quicksort
  • Đúng vậy, cần phải có dải đen

• Giờ là lúc treo dải đen