Tony Hoare qua đời: Cha đẻ Quicksort và Null Pointer

Chào anh em, hôm nay cõi mạng Hacker News đang rần rần truyền tai nhau một tin buồn (đẩy top 1 với gần 1400 upvote). Pháp sư tối cao của làng Khoa học Máy tính, Sir Tony Hoare, vừa chính thức đăng xuất khỏi server Trái Đất.

Cho anh em nào lỡ cúp học môn Cấu trúc dữ liệu & Giải thuật hoặc đang giả vờ tối cổ, thì cụ Hoare chính là người đã nhào nặn ra Quicksort – cái thuật toán mà 10 ông đi phỏng vấn thì 9 ông bị hỏi vặn. Nhưng chưa hết đâu, cụ còn là cha đẻ của một thứ vũ khí hủy diệt hàng loạt mang tên: Null Reference.

Điểm lại sương sương profile của Lão Quái

Nếu IT là một giáo phái, thì Tony Hoare chắc chắn nằm ở chiếu Trưởng lão. Đóng góp của cụ thì nhiều vô kể, nhưng tôi tóm gọn lại 3 món đồ chơi chí mạng nhất cụ để lại cho hậu thế:

Quicksort (1959): Anh em thử tưởng tượng cái thời mà máy tính còn to bằng cái phòng ngủ, RAM thì tính bằng Kilobyte, cụ đã đẻ ra cái thuật toán sắp xếp bá đạo này. Đến tận bây giờ, mấy cái hàm sort() xịn xò con bò trong thư viện chuẩn của nhiều ngôn ngữ vẫn đang xài biến thể của nó.
Hoare Logic & CSP (Communicating Sequential Processes): Nghe tên thì ma giáo thế thôi, chứ nếu anh em đang code Go và thẩm du với mấy cái channels hay goroutines mượt mà, thì xin thưa, nền tảng lý thuyết của nó là từ CSP của cụ Hoare mà ra đấy. Dân chơi Go mau mau vào lạy cụ đi!
Null Reference (1965) - Sự tích "Sai lầm tỷ đô": Đây mới là cao trào. Cụ từng tự thú nhận trước công chúng rằng việc cụ đẻ ra Null (vì hồi đó làm compiler thấy nó... dễ code) là một "sai lầm trị giá hàng tỷ đô la". Từ đó đến nay, cơ số anh em dev đã phải khóc ròng, sập server, đập bàn phím vì con hàng NullPointerException (NPE).

Giang cư mận đang tế bái thế nào?

Dạo một vòng comment trên Hacker News, không khí ngập tràn sự respect, nhưng dĩ nhiên, dev thì không thể bớt nhây được:

Phe tri ân: Đa số anh em đều ngả mũ kính phục. Rất nhiều cao nhân kể lại việc đọc tài liệu CSP của cụ đã thay đổi hoàn toàn tư duy lập trình đồng thời (concurrent programming) của họ như thế nào.
Phe "cười trong nước mắt": Một pháp sư ẩn danh thì lại đùa rằng: "Hy vọng trên bia mộ của cụ không bị in dòng chữ [Object Object] hay Null Reference."
Phe thực dụng: Nhiều người đồng tình rằng, dẫu Null là nỗi ám ảnh, nhưng ở thời điểm năm 1965, đó là giải pháp thực tế nhất. Đừng lấy tiêu chuẩn năm 2024 ra để combat với công nghệ của mấy chục năm trước.

Chốt hạ: Di sản của một con người

Nói tóm cái váy lại, sự ra đi của Tony Hoare là một mất mát cực lớn cho ngành công nghệ. Nhưng ở góc độ anh em thợ gõ chúng ta, tôi thấy có một bài học siêu thực tế thế này:

Đến cỡ bộ óc thiên tài như Tony Hoare mà còn có lúc "lỡ tay" tạo ra một cái bug nợ đời làm tốn hàng tỷ đô của thế giới, thì anh em tự dằn vặt làm đ*o gì khi lỡ push cái hotfix làm bể giao diện hay cắn tí RAM của hệ thống? Lần tới, nếu cái app của anh em đang chạy ngon trên con vps mà tự nhiên lăn đùng ra chết vì NullPointerException, đừng vội chửi thề. Hãy mỉm cười, pha ly cà phê, và nhớ rằng anh em đang được trải nghiệm một "di sản tỷ đô" của một huyền thoại.

R.I.P Sir Tony Hoare (1934 - 2026).

Nguồn hóng hớt:

Hacker News: Tony Hoare has died

Điểm lại sương sương profile của Lão Quái

Quicksort (1959): Anh em thử tưởng tượng cái thời mà máy tính còn to bằng cái phòng ngủ, RAM thì tính bằng Kilobyte, cụ đã đẻ ra cái thuật toán sắp xếp bá đạo này. Đến tận bây giờ, mấy cái hàm sort() xịn xò con bò trong thư viện chuẩn của nhiều ngôn ngữ vẫn đang xài biến thể của nó.
Hoare Logic & CSP (Communicating Sequential Processes): Nghe tên thì ma giáo thế thôi, chứ nếu anh em đang code Go và thẩm du với mấy cái channels hay goroutines mượt mà, thì xin thưa, nền tảng lý thuyết của nó là từ CSP của cụ Hoare mà ra đấy. Dân chơi Go mau mau vào lạy cụ đi!
Null Reference (1965) - Sự tích "Sai lầm tỷ đô": Đây mới là cao trào. Cụ từng tự thú nhận trước công chúng rằng việc cụ đẻ ra Null (vì hồi đó làm compiler thấy nó... dễ code) là một "sai lầm trị giá hàng tỷ đô la". Từ đó đến nay, cơ số anh em dev đã phải khóc ròng, sập server, đập bàn phím vì con hàng NullPointerException (NPE).

Giang cư mận đang tế bái thế nào?

Dạo một vòng comment trên Hacker News, không khí ngập tràn sự respect, nhưng dĩ nhiên, dev thì không thể bớt nhây được:

Phe tri ân: Đa số anh em đều ngả mũ kính phục. Rất nhiều cao nhân kể lại việc đọc tài liệu CSP của cụ đã thay đổi hoàn toàn tư duy lập trình đồng thời (concurrent programming) của họ như thế nào.
Phe "cười trong nước mắt": Một pháp sư ẩn danh thì lại đùa rằng: "Hy vọng trên bia mộ của cụ không bị in dòng chữ [Object Object] hay Null Reference."
Phe thực dụng: Nhiều người đồng tình rằng, dẫu Null là nỗi ám ảnh, nhưng ở thời điểm năm 1965, đó là giải pháp thực tế nhất. Đừng lấy tiêu chuẩn năm 2024 ra để combat với công nghệ của mấy chục năm trước.