Tony Hoare (1934–2026)

 (blog.computationalcomplexity.org)
3 điểm bởi GN⁺ 2026-03-11 | 1 bình luận | Chia sẻ qua WhatsApp
  • Nhà khoa học máy tính Tony Hoare, nổi tiếng với Quicksort và Hoare logic, đã qua đời ở tuổi 92
  • Sau khi học cổ điển học và triết học, ông tham gia nghiên cứu lập trình sau khi trải qua đào tạo tiếng Nga và công việc trình diễn máy tính thời kỳ đầu
  • Một số giai thoại được kể lại, như câu chuyện “cược 6 xu” với cấp trên để chứng minh ưu thế của Quicksort, và thói quen thường xuyên đến rạp chiếu phim khi làm việc tại Microsoft
  • Ông được miêu tả là người khiêm tốn và hài hước, đồng thời vẫn duy trì trí nhớ rõ ràng và sự sắc bén trí tuệ ngay cả khi tuổi đã cao
  • Những đóng góp của ông cho sự phát triển của khoa học máy tính cùng khía cạnh đời thường của ông sẽ tiếp tục là nguồn cảm hứng lâu dài cho các nhà nghiên cứu qua nhiều thế hệ

Cuộc đời và thành tựu của Tony Hoare

  • Ngày 5 tháng 3 năm 2026, người đoạt giải Turing và giáo sư Đại học Oxford Tony Hoare đã qua đời ở tuổi 92
    • Ông được đánh giá là người khai sinh ra những khái niệm cốt lõi của khoa học máy tính như thuật toán Quicksort, ngôn ngữ ALGOL và Hoare logic
  • Tác giả cho biết đã nhiều lần đến thăm Hoare tại Cambridge và có những trao đổi mang tính cá nhân với ông
    • Trong lần gặp đầu tiên, tác giả mang theo bản in một bài blog để bắt đầu câu chuyện, và Hoare đã nhớ phần có nhắc tới nghiên cứu của mình, đồng thời giải thích về sự mở rộng nhanh chóng của quy mô chương trình cũng như sự khác biệt giữa phương pháp nghiên cứu ban đầu và ngày nay

Nền tảng học thuật và sự nghiệp ban đầu

  • Hoare học cổ điển học và triết học ở đại học, sau đó học chuyên sâu tiếng Nga tại Joint Services School for Linguists
    • Với mối quan tâm đến thống kê và máy tính, sau thời gian phục vụ quân ngũ ông làm việc như một người trình diễn máy tính thời kỳ đầu (demonstrator), đặc biệt tham gia các triển lãm quốc tế bao gồm cả Liên Xô
    • Ông nhớ lại rằng vào thời đó, demonstrator không chỉ là người thuyết minh đơn thuần mà còn là chuyên gia hiểu sâu đến mức tham gia cả vào việc phát triển mã cho máy

Vụ cá cược Quicksort và thái độ nghề nghiệp

  • Một giai thoại được kể lại là khi làm việc tại Elliott Brothers Ltd, ông đã nói với cấp trên rằng mình biết một thuật toán sắp xếp nhanh hơn và đề nghị cược 6 xu
    • Sau đó Quicksort thực sự được chứng minh là nhanh hơn, và số tiền cược cũng đã được trả thật
    • Việc ông triển khai thuật toán chậm hơn trước theo chỉ đạo của cấp trên rồi mới đưa ra ý tưởng của mình cho thấy sự khiêm nhường và tận tâm của một người làm nghề chuyên nghiệp

Tính cách cá nhân và đời sống thường ngày

  • Trong thời gian làm việc tại Microsoft ở Cambridge, ông được cho là có thói quen ghé rạp phim nghệ thuật trong giờ làm để xem phim
    • Về chuyện này, ông trực tiếp xác nhận rằng “đó là một trong những thú vui của mình và công ty cũng cho phép điều đó”
  • Khi nói về một câu trích dẫn trực tuyến về hình tượng ‘thiên tài’ trong phim bị gán cho mình, ông cho biết không chắc mình có thực sự nói câu đó hay không, nhưng đồng tình với nội dung
    • Ông nhấn mạnh rằng năng lực toán học không đến từ cảm hứng tức thời như trong phim, mà là kết quả của quá trình suy nghĩ và học hỏi lâu dài

Quan điểm về công nghệ và tương lai

  • Trong cuộc trò chuyện về sự phát triển tương lai của máy tính, ông nói rằng “công nghệ mà chính phủ đang nắm giữ đi trước những gì chúng ta tưởng tượng nhiều năm”
    • Trước câu hỏi về khả năng công nghệ ở mức độ giải mã mật mã, ông tránh trả lời trực tiếp và chỉ mỉm cười, cho thấy thái độ yêu thích hài hước và châm biếm
  • Tác giả kết lại bài viết bằng cách bày tỏ rằng sẽ nhớ sự hài hước, kiên nhẫn và trí tuệ sắc sảo của ông
    • Gửi lời tưởng niệm với câu “RIP Tony Hoare (1934–2026)”

Bài viết liên quan

1 bình luận

 
GN⁺ 2026-03-11
Ý kiến trên Hacker News

  • Một trong những câu trích dẫn tôi thích nhất là: “Có hai cách để xây dựng một thiết kế phần mềm. Một là làm nó đơn giản đến mức hiển nhiên là không có khiếm khuyết, và cách kia là làm nó phức tạp đến mức các khiếm khuyết không còn hiển nhiên nữa.”
    Tôi luôn nghĩ điều này không chỉ áp dụng cho phần mềm mà còn cho các hệ thống phức tạp hay toàn bộ logic

    • Đó thực sự là một câu trích dẫn xuất sắc. Nhưng ngữ cảnh tiếp theo mới chứa đựng điểm nhìn cốt lõi
      Cách thứ nhất khó hơn rất nhiều, và đòi hỏi sự tận tâm cùng sự thấu hiểu để theo đuổi tính đơn giản trong các ràng buộc vật lý và logic
      Nội dung đó xuất hiện trong bài giảng Turing Award của ông "The Emperor’s Old Clothes"
    • Thật tiếc là ông đã đợi đến bài phát biểu nhận giải Turing mới công bố câu đó
      Tôi trích dẫn nó rất thường xuyên. Tony là nhà khoa học máy tính tôi yêu thích nhất
    • Dạo này ngành của chúng ta dường như đã hoàn toàn chọn con đường của sự phức tạp với những trào lưu như ‘vibe coding’. RIP Tony
    • Câu này đến giờ vẫn còn nguyên giá trị
    • Nó làm tôi nhớ đến câu của Pascal — “Tôi muốn viết một bức thư ngắn hơn, nhưng tôi không có thời gian”
      Liên kết bài viết liên quan

  • Đây là một câu chuyện về lúc Dijkstra chuẩn bị cho những ngày cuối đời, khi ông sắp xếp lại tài liệu và thư từ
    Khi một giáo sư hỏi nên giữ lại những lá thư nào, Dijkstra đã nói từ giường bệnh rằng “hãy chỉ giữ lại thư với Tony và vứt phần còn lại đi”
    Vị giáo sư đó sau này kể lại với chất hài hước khô khan rằng cả thư của chính mình cũng nằm trong “danh sách đem bỏ” ấy

  • Ở Oxford có truyền thống đặt tên các tòa nhà theo những nhân vật quan trọng
    Họ cũng từng định lấy tên bác sĩ Hoare để đặt cho một tòa nhà, nhưng lại thành ‘Hoare House’ (phát âm giống ‘whore’) nên khá khó xử
    Tôi nhớ là cuối cùng họ chốt thành ‘C.A.R. Hoare Residence’

    • Có một Tony Hoare Room bên trong Robert Hooke Building. Tôi từng học nhóm về reinforcement learning ở đó
      Liên kết liên quan
    • Nhà trường đã quá nghiêm túc. Đó lẽ ra đã là một cái tên quá hợp làm ví dụ về overloading
    • Phòng thí nghiệm đồ họa của trường tôi trước đây cũng từng có tình huống tương tự
      Người ở quán ăn gần đó thấy nam sinh ra vào ngày đêm không ngớt nên cảm thấy đáng nghi; nếu lúc ấy đặt tên là “Hoare House” thì chắc đã rất buồn cười
    • Tôi từng nhận giải thưởng CAR Hoare ở đại học, và vẫn hay đùa rằng ít ra nó còn khá hơn gọi là ‘giải Hoare’

  • Xét việc nghiên cứu của ông liên quan đến hệ thống truyền thông đồng bộ nhằm giảm hỗn loạn, có lẽ ngay cả sự nhập nhằng trong tên gọi cũng mang tính biểu tượng
    Ông nổi tiếng vì null pointer, nhưng CSP(Communicating Sequential Processes) và occam mới thật sự là những kiệt tác
    Phía ủng hộ mô hình Actor có thể nhìn khác đi, nhưng dù sao đây vẫn là thành tựu phi thường
    Câu trích dẫn tôi thích nhất của ông là “Có hai cách để làm phần mềm…”. Nó thật sự rất hợp với ông

    • CSP và Hoare Logic mang tính cách mạng. Ông là một người ủng hộ mạnh mẽ cho formal methods
      Đã có lúc chúng không thể trở thành dòng chính, nhưng tôi tin chúng sẽ sớm quay lại
      Trong thời đại mã sinh tự động, việc xác minh là nút thắt cổ chai, nên đơn giản là ông đã đúng quá sớm
    • Giờ đây chúng ta đã từ bỏ sự đơn giản đó và chìm vào sự hỗn loạn của Async. Phần mềm lẽ ra có thể đơn giản và tao nhã hơn rất nhiều
    • Mô hình Actor cũng không hoàn hảo. Nó thất bại trong việc ghép những hệ thống nhỏ đúng đắn thành một hệ thống lớn đúng đắn
      Những cách tiếp cận lấy cảm hứng từ transactional memory hoặc cơ sở dữ liệu có thể hứa hẹn hơn

  • Tôi từng được Tony phỏng vấn DPhil tại PRG (Programming Research Group) ở Oxford
    Tôi đã làm nghiên cứu liên quan đến CSP và có nhiều thời gian làm việc với ông
    Nghĩ đến việc tiến trình TonyHoare giờ đã ở trạng thái STOP khiến tôi buồn

    • Giống như hầu hết mọi người, tôi đã mong ông DIV thay vì STOP

  • Tôi từng gặp ông một lần ở Cambridge. Ông đúng là một người khổng lồ trí tuệ đầy ôn hòa
    Tôi thường trích câu này từ bài giảng Turing Award năm 1980 của ông, ‘The Emperor’s Old Clothes’
    Đó là câu chuyện về việc lời quở trách của cấp trên — “Anh đã bảo các lập trình viên làm thứ mà chính anh không hiểu” — rốt cuộc đã chỉ ra đúng bản chất vấn đề
    Theo cách tôi hiểu, dù chúng ta có giao việc cho lập trình viên, cho compiler hay cho LLM, thì nếu không hiểu kết quả, cuối cùng ta vẫn sẽ phải trả giá

    • Ở đoạn “về sau ông nhận ra câu đó là đúng”, sẽ còn buồn cười hơn nếu ông trực tiếp nói “Ông đã đúng rồi đấy”

  • Vào dịp lễ Phục Sinh năm 1961, ông kể rằng mình đã học từ Dijkstra, Naur và Landin tại một khóa học ALGOL 60 tổ chức ở Brighton
    Tại đó ông lần đầu tiên học về đệ quy(recursion) và đã viết Quicksort
    Ông hồi tưởng rằng nhờ thiên tài của những người thiết kế ALGOL 60, ông đã có thể diễn đạt ý tưởng của mình một cách tao nhã
    Ông xem mục tiêu cao nhất của thiết kế ngôn ngữ lập trình là cho phép diễn đạt những ý tưởng hay một cách tao nhã

  • Bài báo An Axiomatic Basis for Computer Programming của Tony là bài báo học thuật đầu tiên mà tôi thực sự hiểu trọn vẹn khi còn học đại học
    Trải nghiệm đó đã trở thành bước mở ra sự tự tin cho tôi
    Giờ đã 35 năm trôi qua nên tôi khó đọc lại phần ký hiệu, nhưng đang nghĩ sẽ học lại bằng cách nhờ AI giải thích từng đoạn
    Liên kết bài báo

  • Nguyên tắc của ông rằng “chỉ số mảng phải luôn được kiểm tra cận trên và cận dưới” đã để lại ấn tượng mạnh với tôi
    Khách hàng của ông cũng muốn kiểm tra runtime an toàn hơn là hiệu quả
    Ngay từ năm 1980, ông đã cảnh báo rằng “việc phớt lờ ngay cả mức an toàn cơ bản này, nếu ở các ngành kỹ thuật khác, hẳn đã là bất hợp pháp”
    — C.A.R. Hoare, 1980 ACM Turing Award Lecture

  • Tại một sự kiện của MSR Cambridge, khi một diễn giả nói rằng “trong thế giới ngày nay, các lập trình viên lớn tuổi sẽ bị tụt hậu”,
    một quý ông lớn tuổi đứng dậy và nhẹ nhàng nói: “Chúng tôi cũng biết đôi chút đấy”
    Và người đó chính là Tony Hoare