Tony Hoare (1934–2026)

 (blog.computationalcomplexity.org)
3 puan yazan GN⁺ 2026-03-11 | 1 yorum | WhatsApp'ta paylaş
  • Quicksort ve Hoare mantığı ile tanınan bilgisayar bilimci Tony Hoare, 92 yaşında hayatını kaybetti
  • Klasik diller ve felsefe eğitiminin ardından Rusça eğitimi ve ilk bilgisayar gösterim işleri sonrasında programlama araştırmalarına katıldı
  • Anlatılan anekdotlar arasında, yöneticisiyle yaptığı “6 peni bahsi” ile Quicksort'un üstünlüğünü kanıtlaması ve Microsoft'ta çalışırken sinemaya sık gitme alışkanlığı yer alıyor
  • Mütevazı ve esprili kişiliği, ayrıca ileri yaşına rağmen net hafızasını ve zihinsel keskinliğini korumasıyla anılıyor
  • Bilgisayar bilimine bıraktığı katkılar ve insani yönü, kuşaklar boyunca araştırmacılar için kalıcı bir ilham olmaya devam edecek

Tony Hoare'ın yaşamı ve başarıları

  • 5 Mart 2026'da, Turing Ödülü sahibi ve Oxford Üniversitesi profesörü Tony Hoare 92 yaşında hayatını kaybetti
    • Quicksort algoritması, ALGOL dili ve Hoare mantığı gibi bilgisayar biliminin temel kavramlarını ortaya koyan isimlerden biri olarak değerlendiriliyor
  • Yazının yazarı, Cambridge'de Hoare'ı birkaç kez ziyaret ederek onunla kişisel bir ilişki kurduğunu belirtiyor
    • İlk karşılaşmalarında bir blog yazısını çıktısını alıp götürerek sohbeti başlatmış; Hoare da kendi araştırmasının anıldığı kısımları hatırlayarak programların ölçeğinin hızla büyümesi ile ilk dönem araştırma yöntemleri arasındaki farkı anlatmış

Akademik geçmişi ve ilk kariyeri

  • Hoare üniversitede klasik diller ve felsefe okudu; ardından Joint Services School for Linguists bünyesinde yoğun şekilde Rusça eğitimi aldı
    • İstatistik ve bilgisayarlara olan ilgisi sayesinde askerlik sonrası erken dönem bilgisayar gösterimcisi (demonstrator) olarak çalıştı; özellikle Sovyetler Birliği dahil uluslararası fuarlarda görev aldı
    • O dönemde gösterimcilerin yalnızca açıklama yapan kişiler değil, makinenin kod geliştirme sürecine de dahil olacak kadar derin bilgiye sahip uzmanlar olduğunu hatırlatıyordu

Quicksort bahsi ve mesleki tutumu

  • Elliott Brothers Ltd'de çalışırken, yöneticisine daha hızlı bir sıralama algoritması bildiğini söyleyip 6 peni bahsi teklif ettiği bir anekdot aktarılıyor
    • Quicksort'un gerçekten daha hızlı olduğu kanıtlandı ve bahis miktarının gerçekten ödendiği belirtiliyor
    • Yöneticisinin talimatı doğrultusunda önce daha yavaş algoritmayı uygulayıp, ardından kendi fikrini sunması, bir profesyonel olarak tevazusunu ve titizliğini gösteriyor

Kişiliği ve günlük yaşamı

  • Cambridge'de Microsoft'ta çalıştığı dönemde, çalışma saatleri içinde sanat sinemasına gidip film izleme alışkanlığı olduğu anlatılıyor
    • Buna ilişkin olarak, bunun “kendi keyiflerinden biri olduğunu ve şirkette de buna izin verildiğini” bizzat doğrulamış
  • Filmlerdeki ‘dahi’ tasvirine dair internette dolaşan bir alıntının kendisine atfedilmesi konusunda, alıntının gerçekten ona ait olup olmadığının belirsiz olduğunu ama içeriğine katıldığını söylüyor
    • Matematiksel yeteneğin filmlerdeki gibi anlık bir ilham değil, uzun süreli düşünme ve öğrenmenin sonucu olduğunu vurguluyor

Teknoloji ve gelecek hakkındaki görüşleri

  • Gelecekteki bilgisayar gelişmeleri üzerine bir sohbette, “Hükümetin elindeki teknoloji, bizim hayal ettiğimizden yıllarca ileride” sözünü bırakmış
    • Şifre kırma düzeyindeki teknik imkânlara dair soruya ise net bir yanıt vermekten kaçınıp gülümseyerek geçiştirmiş; bu da mizahı ve iğnelemeyi seven tavrını yansıtıyordu
  • Yazının yazarı, onun mizahını, sabrını ve keskin zekâsını özleyeceğini söyleyerek yazıyı bitiriyor
    • “RIP Tony Hoare (1934–2026)” sözleriyle anısını selamlıyor

İlgili okumalar

1 yorum

 
GN⁺ 2026-03-11
Hacker News yorumları

  • En sevdiğim alıntılardan biri şu: “Yazılım tasarlamanın iki yolu vardır. Biri, kusurların bariz biçimde görünmeyeceği kadar basit yapmak; diğeri ise kusurların bariz biçimde görünmeyeceği kadar karmaşık yapmak.”
    Bunun yalnızca yazılım için değil, karmaşık sistemler ve mantığın bütünü için de geçerli olduğunu hep düşünmüşümdür.

    • Gerçekten harika bir alıntı. Ama asıl içgörü, devamındaki bağlamda yatıyor.
      İlk yolun çok daha zor olduğunu; fiziksel ve mantıksal kısıtlar içinde sadeliğin peşinden gitmek için adanmışlık ve içgörü gerektiğini söylüyor.
      Bu ifade onun Turing Ödülü konuşması "The Emperor’s Old Clothes" içinde geçiyor.
    • Keşke o cümleyi Turing Ödülü kabul konuşmasına kadar saklamasaydı.
      O sözü sık sık alıntılarım. Tony benim en sevdiğim bilgisayar bilimcisi.
    • Bugün sektörümüz sanki vibe coding gibi akımlarla tamamen karmaşıklık yolunu seçmiş gibi görünüyor. Huzur içinde yat Tony.
    • Aradan geçen onca zamana rağmen hâlâ geçerli bir söz.
    • Pascal’ın şu sözü aklıma geliyor — “Daha kısa bir mektup yazmak isterdim ama vaktim yoktu.”
      İlgili yazı bağlantısı

  • Dijkstra hayatının sonuna hazırlanırken belgelerini ve mektuplarını düzenliyormuş.
    Bir profesör hangi mektupların saklanacağını sorunca, Dijkstra hasta yatağından “Yalnızca Tony ile mektupları bırakın, gerisini atın” demiş.
    O profesör de kendi mektuplarının bu atılacaklar listesinde olduğunu kuru bir mizahla anlatıyordu.

  • Oxford’da önemli kişilerin adlarının binalara verilmesi gibi bir gelenek var.
    Dr. Hoare’a da bir bina adı vermek istemişler ama Hoare House adı İngilizcede whore ile aynı telaffuz edildiği için durum tuhaflaşmış.
    Sonunda sanırım C.A.R. Hoare Residence olarak çözmüşler.

    • Robert Hooke Building içinde bir Tony Hoare Room var. Orada pekiştirmeli öğrenme çalışma grubuna katılmıştım.
      İlgili bağlantı
    • Üniversite bunu fazla ciddiye almış. Aşırı yükleme örneği olarak cuk oturan bir isim olurdu.
    • Bizim üniversitedeki grafik laboratuvarında da zamanında benzer bir durum olmuştu.
      Gece gündüz girip çıkan erkek öğrencileri gören yakındaki lokanta çalışanları şüphelenmişti; o zaman oraya Hoare House denseydi gerçekten çok komik olurdu.
    • Üniversitede CAR Hoare ödülü almıştım; şaka yollu, en azından “Hoare ödülü” olmamasından iyidir derdim.

  • Araştırmasının kafa karışıklığını azaltan senkronize iletişim sistemleri üzerine olması düşünüldüğünde, isim karışıklığının bile sembolik olması ilginç.
    Herkes onu null pointer ile tanıyor olabilir ama CSP (Communicating Sequential Processes) ve occam asıl başyapıtlarıydı.
    Actor modeli tarafı buna farklı bakabilir ama yine de olağanüstü bir başarı.
    En sevdiğim sözü yine şu: “Yazılım yapmanın iki yolu...” Gerçekten ona çok yakışan bir söz.

    • CSP ve Hoare Logic devrim niteliğindeydi. Kendisi biçimsel yöntemlerin (formal methods) güçlü bir savunucusuydu.
      Bir dönem ana akım olmayı başaramadılar ama yakında yeniden yükseleceklerine inanıyorum.
      Üretilen kod çağında darboğaz doğrulama olduğu için, aslında sadece fazla erken haklı çıkmıştı.
    • Şimdi biz o sadeliği bırakıp Async karmaşası içine gömüldük. Yazılım çok daha basit ve zarif olabilirdi.
    • Actor modeli de kusursuz değil. Küçük doğru sistemleri birleştirip büyük doğru sistemler kurmakta başarısız oluyor.
      İşlemsel bellek ya da veritabanlarından ilham alan yaklaşımlar daha umut verici görünüyor.

  • Oxford PRG’de (Programming Research Group) DPhil mülakatımı Tony yapmıştı.
    CSP üzerine çalışırken onunla çok zaman geçirdim.
    Şimdi TonyHoare sürecinin STOP durumuna geçtiğini düşünmek hüzün veriyor.

    • Çoğu insan gibi ben de onun STOP yerine DIV yapmasını isterdim.

  • Bir keresinde Cambridge’de onunla tanışmıştım. Gerçekten nazik bir zekâ deviydi.
    1980 Turing Ödülü konuşması The Emperor’s Old Clothes’tan şu kısmı sık sık alıntılarım:
    “Anlamadığın bir işi programcılara yaptırdın” diyen yöneticinin azarının aslında sorunun özünü yakaladığı hikâyesi.
    Ben bunu şöyle yorumluyorum: işi programcılara, derleyicilere ya da LLM’lere devretsek bile çıkan sonucu anlamıyorsak eninde sonunda bedelini öderiz.

    • “Sonradan onun haklı olduğunu anladı” kısmında, keşke doğrudan “Haklıymışsınız” demiş olsaydı; daha komik olurdu.

  • 1961 Paskalya’sı civarında Brighton’daki bir ALGOL 60 kursunda Dijkstra, Naur ve Landin’den ders aldığını anlatıyordu.
    Orada özyinelemeyi (recursion) ilk kez öğrenip Quicksort’u yazmış.
    ALGOL 60 tasarımcılarının dehası sayesinde kendi fikirlerini zarif biçimde ifade edebildiğini hatırlıyordu.
    Programlama dili tasarımının en büyük hedefini, iyi fikirleri zarif bir şekilde ifade etmeyi mümkün kılmak olarak görüyordu.

  • Tony’nin An Axiomatic Basis for Computer Programming makalesi, lisans yıllarımda baştan sona gerçekten anladığım ilk akademik makaleydi.
    Bu deneyim bana özgüven kazandıran bir dönüm noktası olmuştu.
    Aradan 35 yıl geçmişken sembolleri yeniden okumak zor ama yapay zekâdan paragraf paragraf açıklamasını isteyerek tekrar çalışmayı düşünüyorum.
    Makale bağlantısı

  • “Dizi indeksleri için her zaman alt ve üst sınır kontrolü yapılmalı” yönündeki ilkesi beni etkilemişti.
    Müşterilerin de verimlilikten çok güvenli çalışma zamanı denetimlerini istediğini söylüyordu.
    1980’de bile, “Böylesine temel bir güvenliği görmezden gelmek diğer mühendislik alanlarında yasa dışı sayılırdı” diye uyarıyordu.
    — C.A.R. Hoare, 1980 ACM Turing Award Lecture

  • MSR Cambridge’de bir etkinlikte bir konuşmacı “Bugünün dünyasında yaşlı geliştiriciler geride kalır” dediğinde,
    yaşlı bir beyefendi ayağa kalkıp sakince “Biz de biraz biliyoruz” demişti.
    O kişi Tony Hoare’dı.