Tony Hoare (1934–2026)

 (blog.computationalcomplexity.org)
3 poin oleh GN⁺ 2026-03-11 | 1 komentar | Bagikan ke WhatsApp
  • Ilmuwan komputer Tony Hoare, yang dikenal lewat Quicksort dan Hoare logic, wafat pada usia 92 tahun
  • Setelah menekuni studi klasik dan filsafat, ia terlibat dalam riset pemrograman melalui pelatihan bahasa Rusia dan pekerjaan awal sebagai demonstrator komputer
  • Salah satu kisah yang dikenang adalah bagaimana ia membuktikan keunggulan Quicksort lewat "taruhan 6 pence" dengan atasannya, serta kebiasaannya sering pergi ke bioskop saat bekerja di Microsoft
  • Ia digambarkan sebagai sosok yang rendah hati dan humoris, serta tetap memiliki daya ingat yang jernih dan ketajaman intelektual hingga usia lanjut
  • Kontribusinya pada perkembangan ilmu komputer dan sisi manusianya akan terus menjadi inspirasi lintas generasi bagi para peneliti

Kehidupan dan pencapaian Tony Hoare

  • Pada 5 Maret 2026, penerima Turing Award dan profesor Oxford Tony Hoare wafat pada usia 92 tahun
    • Ia dinilai sebagai tokoh yang menciptakan konsep-konsep inti ilmu komputer seperti algoritme Quicksort, bahasa ALGOL, dan Hoare logic
  • Penulis menyebut bahwa ia beberapa kali mengunjungi Hoare di Cambridge dan menjalin hubungan pribadi dengannya
    • Pada pertemuan pertama, ia memulai percakapan dengan membawa cetakan tulisan blognya, dan Hoare mengingat bagian yang menyebut penelitiannya sambil menjelaskan pertumbuhan skala program yang sangat cepat serta perbedaan metode riset awal

Latar akademik dan awal karier

  • Hoare mengambil jurusan studi klasik dan filsafat di universitas, lalu mempelajari bahasa Rusia secara intensif di Joint Services School for Linguists
    • Karena minatnya pada statistika dan komputer, setelah dinas militer ia bekerja sebagai demonstrator komputer awal, terutama di pameran internasional termasuk di Uni Soviet
    • Ia mengenang bahwa pada masa itu demonstrator bukan sekadar pemberi penjelasan, melainkan pakar yang memahami mesin secara mendalam hingga ikut mengembangkan kode untuknya

Taruhan Quicksort dan sikap profesional

  • Saat bekerja di Elliott Brothers Ltd, diceritakan bahwa ia menawarkan taruhan 6 pence kepada atasannya dengan mengatakan bahwa ia tahu algoritme pengurutan yang lebih cepat
    • Quicksort memang terbukti lebih cepat, dan uang taruhan itu benar-benar dibayarkan
    • Fakta bahwa ia lebih dulu mengimplementasikan algoritme yang lebih lambat sesuai arahan atasannya sebelum mengajukan idenya sendiri menunjukkan kerendahan hati dan ketekunannya sebagai profesional

Kepribadian dan keseharian

  • Saat bekerja di Microsoft Cambridge, disebutkan bahwa ia punya kebiasaan mengunjungi bioskop seni saat jam kerja untuk menonton film
    • Tentang hal itu, ia secara langsung mengonfirmasi bahwa “itu adalah salah satu kesenangannya, dan perusahaan juga mengizinkannya”
  • Mengenai kutipan daring tentang penggambaran “jenius” dalam film yang disandangkan kepadanya, ia mengatakan bahwa tidak pasti apakah itu benar-benar kutipannya, tetapi ia setuju dengan isinya
    • Ia menekankan bahwa kemampuan matematis bukanlah inspirasi seketika seperti di film, melainkan hasil dari pemikiran dan pembelajaran yang panjang

Pandangannya tentang teknologi dan masa depan

  • Dalam percakapan tentang perkembangan komputer di masa depan, ia mengatakan bahwa "teknologi yang dimiliki pemerintah sudah beberapa tahun lebih maju daripada yang kita bayangkan"
    • Saat ditanya tentang kemungkinan teknologi setingkat pemecahan sandi, ia menghindari jawaban tegas dan hanya menanggapinya dengan senyum, menunjukkan selera humornya dan kecenderungannya pada sindiran
  • Penulis menutup tulisannya dengan mengenang humor, kesabaran, dan kecerdasan tajam miliknya
    • Ia menyampaikan penghormatan terakhir dengan “RIP Tony Hoare (1934–2026)”

Bacaan terkait

1 komentar

 
GN⁺ 2026-03-11
Komentar Hacker News

  • Salah satu kutipan favorit saya adalah, “Ada dua cara membangun desain perangkat lunak. Yang satu adalah membuatnya begitu sederhana sehingga kekurangannya jelas tidak ada, dan yang lainnya adalah membuatnya begitu rumit sehingga kekurangannya tidak tampak jelas”
    Saya selalu merasa ini berlaku bukan hanya untuk perangkat lunak, tetapi juga untuk sistem kompleks atau logika secara keseluruhan

    • Kutipan yang benar-benar luar biasa. Tetapi konteks setelahnya memuat wawasan yang paling penting
      Cara pertama jauh lebih sulit, dan membutuhkan dedikasi serta wawasan untuk mengejar kesederhanaan di bawah batasan fisik dan logis
      Itu muncul dalam kuliah Turing Award miliknya "The Emperor’s Old Clothes"
    • Sayang sekali ia menunggu sampai pidato penerimaan Turing Award untuk mengungkapkan kalimat itu
      Saya sering mengutipnya. Tony adalah ilmuwan komputer favorit saya
    • Rasanya industri kita belakangan ini sepenuhnya memilih jalan kompleksitas dengan arus seperti ‘vibe coding’. RIP Tony
    • Tetap relevan bahkan setelah sekian lama
    • Mengingatkan saya pada kutipan Pascal — “Saya ingin menulis surat yang lebih pendek, tetapi saya tidak punya waktu”
      Tautan tulisan terkait

  • Ini kisah saat Dijkstra mempersiapkan akhir hidupnya sambil merapikan dokumen dan surat-menyuratnya
    Ketika seorang profesor bertanya surat mana yang harus disimpan, Dijkstra dari ranjang sakitnya berkata, “Simpan hanya surat-surat dengan Tony, buang sisanya”
    Profesor itu kemudian mengenangnya dengan humor kering, sambil berkata bahwa suratnya sendiri termasuk dalam “daftar yang dibuang” itu

  • Di Oxford ada tradisi menamai gedung dengan nama tokoh penting
    Mereka juga ingin menamai sebuah gedung untuk Dr. Hoare, tetapi jadinya ‘Hoare House’ (pelafalannya sama dengan ‘whore’) sehingga terasa canggung
    Seingat saya akhirnya diputuskan menjadi ‘C.A.R. Hoare Residence’

    • Ada Tony Hoare Room di Robert Hooke Building. Saya pernah ikut kelompok belajar reinforcement learning di sana
      Tautan terkait
    • Kampus terlalu serius. Itu sebenarnya nama yang pas sebagai contoh overloading
    • Lab grafika di universitas kami juga pernah punya situasi serupa
      Orang-orang di restoran sekitar merasa curiga melihat mahasiswa laki-laki keluar-masuk siang malam, dan saat itu saya sempat berpikir akan sangat lucu kalau tempat itu dinamai “Hoare House”
    • Saya pernah menerima penghargaan CAR Hoare di kampus, dan saya biasa bercanda bahwa itu lebih baik daripada ‘Hoare award’

  • Mengingat penelitiannya berkaitan dengan sistem komunikasi tersinkronisasi yang mengurangi kekacauan, bahkan kebingungan soal namanya mungkin terasa simbolis
    Ia terkenal karena null pointer, tetapi CSP(Communicating Sequential Processes) dan occam adalah mahakarya yang sesungguhnya
    Pihak kubu model Actor mungkin melihatnya secara berbeda, tetapi tetap saja itu pencapaian yang luar biasa
    Kutipan favorit saya darinya adalah “Ada dua cara membuat perangkat lunak…”. Itu benar-benar kalimat yang cocok untuknya

    • CSP dan Hoare Logic bersifat revolusioner. Ia adalah pendukung kuat formal methods
      Pernah gagal menjadi arus utama, tetapi saya yakin akan segera bangkit lagi
      Di era kode generatif, verifikasi adalah bottleneck, jadi ia hanya benar terlalu cepat
    • Sekarang kita justru meninggalkan kesederhanaan itu dan tenggelam dalam kekacauan Async. Perangkat lunak sebenarnya bisa jauh lebih sederhana dan elegan
    • Model Actor juga tidak sempurna. Ia gagal menyusun sistem kecil yang benar menjadi sistem besar yang benar
      Pendekatan yang terinspirasi dari transactional memory atau basis data tampaknya lebih menjanjikan

  • Saya diwawancarai Tony untuk DPhil di PRG Oxford (Programming Research Group)
    Saya meneliti CSP dan menghabiskan banyak waktu bersamanya
    Sedih membayangkan bahwa kini proses TonyHoare telah memasuki keadaan STOP

    • Seperti kebanyakan orang, saya berharap ia DIV alih-alih STOP

  • Saya pernah bertemu dengannya sekali di Cambridge. Ia benar-benar raksasa intelektual yang lembut
    Saya sering mengutip bagian dari kuliah Turing Award 1980 miliknya, ‘The Emperor’s Old Clothes’
    Ada kisah ketika teguran seorang atasan — “Kamu menyuruh para programmer melakukan pekerjaan yang tidak kamu pahami” — ternyata tepat mengenai inti masalah
    Bagi saya, maknanya adalah bahwa meskipun kita mendelegasikan pekerjaan kepada programmer, compiler, atau LLM, jika kita tidak memahami hasilnya, pada akhirnya kita akan membayar harganya

    • Di bagian “belakangan ia menyadari bahwa ucapan itu benar”, akan lebih lucu kalau ia langsung berkata, “Anda benar”

  • Sekitar Paskah 1961, ia belajar dari Dijkstra, Naur, dan Landin dalam kursus ALGOL 60 di Brighton
    Di sana ia pertama kali mempelajari rekursi (recursion) dan menulis Quicksort
    Ia mengenang bahwa berkat kejeniusannya para perancang ALGOL 60, ia bisa mengekspresikan idenya dengan elegan
    Ia menganggap tujuan tertinggi desain bahasa pemrograman adalah memungkinkan kita mengekspresikan ide-ide bagus secara elegan

  • Makalah Tony An Axiomatic Basis for Computer Programming adalah makalah akademik pertama yang benar-benar saya pahami sepenuhnya saat masih sarjana
    Pengalaman itu menjadi momen yang membuka kepercayaan diri bagi saya
    Sekarang, 35 tahun kemudian, simbol-simbolnya sulit saya baca lagi, tetapi saya berencana mempelajarinya kembali dengan meminta AI menjelaskan per paragraf
    Tautan makalah

  • Prinsipnya bahwa “indeks array harus selalu memeriksa batas atas dan batas bawah” sangat membekas bagi saya
    Pelanggan pun, katanya, menginginkan pemeriksaan runtime yang aman ketimbang efisiensi
    Bahkan pada 1980 ia memperingatkan bahwa “mengabaikan keselamatan dasar seperti ini akan ilegal di bidang rekayasa lain”
    — C.A.R. Hoare, 1980 ACM Turing Award Lecture

  • Di sebuah acara MSR Cambridge, ketika seorang pembicara berkata, “Di zaman sekarang pengembang yang sudah tua akan tertinggal,”
    seorang pria tua berdiri dan dengan tenang berkata, “Kami juga tahu sedikit banyak”
    Dan pria itu adalah Tony Hoare