Tony Hoare (1934–2026)

 (blog.computationalcomplexity.org)
3 पॉइंट द्वारा GN⁺ 2026-03-11 | 1 टिप्पणियां | WhatsApp पर शेयर करें
  • Quicksort और Hoare logic के लिए जाने जाने वाले कंप्यूटर वैज्ञानिक Tony Hoare का 92 वर्ष की आयु में निधन हो गया।
  • क्लासिक्स और दर्शनशास्त्र की पढ़ाई के बाद उन्होंने Russian language training और शुरुआती computer demonstration work के माध्यम से programming research में भाग लिया।
  • एक दिलचस्प प्रसंग में, अपने बॉस के साथ '6 pence की शर्त' में उन्होंने Quicksort की श्रेष्ठता साबित की, और Microsoft में काम करते समय सिनेमा जाने की आदत का भी उल्लेख है।
  • उन्हें विनम्र और हास्यप्रिय व्यक्तित्व वाला व्यक्ति बताया गया है, जिन्होंने वृद्धावस्था में भी स्पष्ट स्मरणशक्ति और बौद्धिक तीक्ष्णता बनाए रखी।
  • कंप्यूटर विज्ञान के विकास में उनका योगदान और उनका मानवीय पक्ष पीढ़ियों के शोधकर्ताओं के लिए स्थायी प्रेरणा बना रहेगा।

Tony Hoare का जीवन और उपलब्धियां

  • 5 मार्च 2026 को, Turing Award विजेता और Oxford University के प्रोफेसर Tony Hoare का 92 वर्ष की आयु में निधन हो गया।
    • उन्हें Quicksort algorithm, ALGOL language, Hoare logic जैसे कंप्यूटर विज्ञान के मूलभूत विचारों के सर्जक के रूप में माना जाता है।
  • लेखक बताते हैं कि उन्होंने Cambridge में Hoare से कई बार मुलाकात की थी और उनसे व्यक्तिगत परिचय था।
    • पहली मुलाकात में वे अपने ब्लॉग पोस्ट का प्रिंटआउट लेकर गए और उसी से बातचीत शुरू हुई; Hoare को अपने शोध का उल्लेख किया गया हिस्सा याद था, और उन्होंने program scale के तेज़ विस्तार तथा शुरुआती शोध पद्धतियों के अंतर के बारे में समझाया।

अकादमिक पृष्ठभूमि और शुरुआती करियर

  • Hoare ने विश्वविद्यालय में क्लासिक्स और दर्शनशास्त्र का अध्ययन किया, और बाद में Joint Services School for Linguists में Russian का गहन प्रशिक्षण लिया।
    • सांख्यिकी और कंप्यूटर में रुचि के कारण, सैन्य सेवा के बाद उन्होंने शुरुआती computer demonstrator के रूप में काम किया, खासकर सोवियत संघ सहित अंतरराष्ट्रीय प्रदर्शनियों में।
    • उन्होंने याद किया कि उस समय demonstrator सिर्फ़ समझाने वाला व्यक्ति नहीं होता था, बल्कि मशीन के code development में भी शामिल होने लायक गहरी समझ रखने वाला विशेषज्ञ होता था।

Quicksort की शर्त और पेशेवर रवैया

  • Elliott Brothers Ltd में काम करते समय, उन्होंने अपने बॉस से कहा कि वे एक तेज़ sorting algorithm जानते हैं और 6 pence की शर्त लगाने का प्रस्ताव रखा।
    • Quicksort वास्तव में अधिक तेज़ साबित हुआ, और शर्त की रकम भी सचमुच दी गई।
    • उन्होंने अपने बॉस के निर्देश के अनुसार पहले धीमे algorithm को implement किया, फिर अपना विचार पेश किया; इससे एक पेशेवर के रूप में उनकी विनम्रता और निष्ठा दिखाई देती है।

व्यक्तिगत स्वभाव और दैनिक जीवन

  • Cambridge Microsoft में काम करने के दौरान, कहा जाता है कि उन्हें काम के समय art cinema में जाकर फिल्में देखने की आदत थी।
    • इस पर उन्होंने खुद पुष्टि की कि “यह उनकी खुशियों में से एक था, और कंपनी में इसकी अनुमति थी।”
  • फिल्मों में ‘genius’ की छवि पर एक online quote उनके नाम से जोड़ा गया था; इस पर उन्होंने कहा कि यह स्पष्ट नहीं है कि उद्धरण वास्तव में उनका था या नहीं, लेकिन वे उसके भाव से सहमत हैं।
    • उन्होंने ज़ोर देकर कहा कि गणितीय क्षमता फिल्मों की तरह अचानक आने वाली प्रेरणा नहीं, बल्कि लंबे समय तक सोचने और सीखने का परिणाम है।

तकनीक और भविष्य पर उनके विचार

  • भविष्य के कंप्यूटर विकास पर बातचीत में उन्होंने कहा, “सरकार के पास मौजूद तकनीक हमारी कल्पना से कई साल आगे है।”
    • code-breaking स्तर की तकनीकी क्षमता के बारे में पूछे जाने पर उन्होंने सीधा जवाब देने से बचते हुए मुस्कान के साथ बात टाल दी, और कहा गया कि वे हास्य और व्यंग्य का आनंद लेते थे।
  • लेखक उनके हास्य, धैर्य और तेज़ बुद्धि को याद करते हुए लेख समाप्त करते हैं।
    • “RIP Tony Hoare (1934–2026)” के साथ श्रद्धांजलि दी गई है।

संबंधित पढ़ाई

1 टिप्पणियां

 
GN⁺ 2026-03-11
Hacker News की राय

  • मेरे पसंदीदा उद्धरणों में से एक है: “सॉफ़्टवेयर डिज़ाइन बनाने के दो तरीके हैं। एक यह कि उसे इतना सरल बनाया जाए कि उसमें दोष साफ़ तौर पर न हों, और दूसरा यह कि उसे इतना जटिल बनाया जाए कि दोष साफ़ तौर पर दिखें ही नहीं”
    मुझे हमेशा लगा है कि यह सिर्फ़ सॉफ़्टवेयर पर नहीं, बल्कि जटिल सिस्टमों या पूरी तर्क-व्यवस्था पर भी लागू होता है

    • यह सचमुच एक शानदार उद्धरण है। लेकिन इसके बाद का संदर्भ ही असली अंतर्दृष्टि देता है
      पहला तरीका कहीं ज़्यादा कठिन है, और इसके लिए भौतिक और तार्किक सीमाओं के भीतर सरलता खोजने की प्रतिबद्धता और अंतर्दृष्टि चाहिए
      यह बात उनके Turing Award lecture "The Emperor’s Old Clothes" में आती है
    • अफ़सोस है कि उन्होंने उस वाक्य को Turing Award acceptance speech तक रोके रखा
      मैं उस बात को अक्सर उद्धृत करता हूँ। Tony मेरे पसंदीदा computer scientist हैं
    • आजकल हमारा उद्योग ‘vibe coding’ जैसी धारा के साथ पूरी तरह जटिलता के रास्ते पर चला गया लगता है। RIP Tony
    • समय बीतने के बाद भी यह बात अब भी सही लगती है
    • इससे Pascal का उद्धरण याद आता है — “मैं एक छोटा पत्र लिखना चाहता था, लेकिन मेरे पास समय नहीं था”
      संबंधित लेख लिंक

  • यह Dijkstra के जीवन के अंतिम दिनों की बात है, जब वे अपने दस्तावेज़ और पत्र व्यवस्थित कर रहे थे
    एक प्रोफ़ेसर ने पूछा कि कौन-से पत्र बचाए जाएँ, तो Dijkstra ने बिस्तर से कहा, “Tony के साथ हुए पत्राचार को छोड़कर बाकी सब फेंक दो”
    उस प्रोफ़ेसर ने बाद में सूखे हास्य के साथ याद किया कि उसके अपने पत्र भी उसी फेंक देने वाली सूची में थे

  • Oxford में महत्वपूर्ण लोगों के नाम पर इमारतों का नाम रखने की परंपरा है
    Dr. Hoare के नाम पर भी एक भवन का नाम रखने की कोशिश हुई, लेकिन ‘Hoare House’ (जिसका उच्चारण ‘whore’ जैसा है) होने के कारण असहज स्थिति बन गई
    आख़िरकार, जहाँ तक मुझे याद है, उसे ‘C.A.R. Hoare Residence’ कर दिया गया

    • Robert Hooke Building के भीतर Tony Hoare Room है। मैंने वहाँ reinforcement learning study group की थी
      संबंधित लिंक
    • विश्वविद्यालय ने इसे कुछ ज़्यादा ही गंभीरता से लिया। overloading के उदाहरण के रूप में यह एकदम सही नाम होता
    • हमारे विश्वविद्यालय की graphics lab में भी कभी कुछ ऐसा ही हाल था
      आसपास के रेस्तराँ वाले रात-दिन आते-जाते लड़कों को देखकर शक करने लगे थे, और तब अगर उसका नाम “Hoare House” रखा गया होता तो वाकई बहुत मज़ेदार होता
    • मुझे विश्वविद्यालय में CAR Hoare award मिला था, और मैं मज़ाक में कहता हूँ कि यह ‘Hoare award’ से बेहतर है

  • यह दिलचस्प है कि उनका काम भ्रम कम करने वाले synchronized communication systems पर था, तो शायद नाम को लेकर यह उलझन भी किसी तरह प्रतीकात्मक ही है
    वे null pointer के लिए मशहूर हैं, लेकिन CSP(Communicating Sequential Processes) और occam उनकी असली महान रचनाएँ थीं
    Actor model वाले लोग शायद अलग राय रखें, लेकिन जो भी हो, यह बड़ी उपलब्धि थी
    उनका मेरा पसंदीदा उद्धरण वही है: “सॉफ़्टवेयर बनाने के दो तरीके…”। यह सचमुच उन पर जँचता है

    • CSP और Hoare Logic क्रांतिकारी थे। वे formal methods के प्रबल समर्थक थे
      एक समय यह मुख्यधारा में नहीं आ पाया, लेकिन मुझे विश्वास है कि यह फिर लौटेगा
      generated code के दौर में verification ही bottleneck है, इसलिए वे बस अपने समय से बहुत पहले सही थे
    • अभी हम उस सरलता को छोड़कर Async के अराजकता में फँस गए हैं। सॉफ़्टवेयर कहीं अधिक सरल और सुरुचिपूर्ण हो सकता था
    • Actor model भी परिपूर्ण नहीं है। वह छोटे सही systems को जोड़कर बड़े सही systems बनाने में विफल रहता है
      transactional memory या databases से प्रेरित दृष्टिकोण में ज़्यादा संभावना हो सकती है

  • Oxford PRG(Programming Research Group) में मेरा DPhil interview Tony ने लिया था
    मैंने CSP से जुड़ा शोध किया और उनके साथ काफ़ी समय बिताया
    अब यह सोचना दुख देता है कि TonyHoare process अब STOP state में पहुँच गया है

    • ज़्यादातर लोगों की तरह, मैं चाहता था कि वे STOP की जगह DIV करें

  • मैं एक बार Cambridge में उनसे मिला था। वे सचमुच कोमल बुद्धि वाले एक महान व्यक्ति थे
    मैं उनकी 1980 की Turing Award lecture ‘The Emperor’s Old Clothes’ से यह बात अक्सर उद्धृत करता हूँ
    एक बॉस की डाँट — “तुमने programmers से वह काम करवाया जिसे तुम खुद नहीं समझते थे” — ने अंततः समस्या का सार पकड़ लिया
    मेरी समझ में, चाहे हम programmers को, compiler को, या LLM को काम सौंप दें, अगर हम परिणाम को नहीं समझते, तो अंततः उसकी कीमत हमें चुकानी पड़ती है

    • “उन्हें बाद में समझ आया कि वह बात सही थी” वाले हिस्से में, अगर उन्होंने सीधे कहा होता “आप सही थे”, तो और मज़ेदार होता

  • 1961 की Easter के आसपास, उन्होंने Brighton में हुए ALGOL 60 course में Dijkstra, Naur, और Landin से सीखा था
    वहीं उन्होंने पहली बार recursion सीखी और Quicksort लिखा
    वे याद करते हैं कि ALGOL 60 के डिज़ाइनरों की प्रतिभा की वजह से वे अपने विचारों को सुरुचिपूर्ण ढंग से व्यक्त कर सके
    वे programming language design का सबसे बड़ा लक्ष्य यह मानते थे कि वह अच्छे विचारों को सुरुचिपूर्ण ढंग से व्यक्त करने दे

  • Tony का paper An Axiomatic Basis for Computer Programming वह पहला academic paper था जिसे मैंने undergraduate दिनों में पूरी तरह समझा था
    वह अनुभव मेरे लिए आत्मविश्वास का दरवाज़ा खोलने वाला था
    35 साल बाद अब उन प्रतीकों को फिर पढ़ना आसान नहीं है, लेकिन सोच रहा हूँ कि AI से paragraph-दर-paragraph समझाकर इसे दोबारा पढ़ूँ
    पेपर लिंक

    • scientific papers पढ़ते समय मैं NotebookLM की सिफ़ारिश करता हूँ। आप उससे सवाल भी कर सकते हैं, और वह summary podcast भी बना देता है
      NotebookLM लिंक
    • ऊपर वाले paper से जुड़ी दो classic सामग्रियों की सिफ़ारिश करता हूँ
      30 साल बाद का retrospective paper Retrospective: An Axiomatic Basis For Computer Programming
      और “How Did Software Get So Reliable Without Proof?” PDF लिंक

  • उनका यह सिद्धांत प्रभावशाली था कि “array index के लिए हमेशा upper bound और lower bound की जाँच होनी चाहिए”
    उनका कहना था कि ग्राहक efficiency से ज़्यादा safe runtime checks चाहते थे
    उन्होंने 1980 में भी चेतावनी दी थी कि “ऐसी बुनियादी सुरक्षा तक की अनदेखी किसी और engineering क्षेत्र में होती, तो वह ग़ैरकानूनी मानी जाती”
    — C.A.R. Hoare, 1980 ACM Turing Award Lecture

  • MSR Cambridge के एक कार्यक्रम में एक वक्ता ने कहा, “आजकल की दुनिया में उम्रदराज़ developers पीछे छूट जाते हैं,”
    तब एक बुज़ुर्ग सज्जन खड़े हुए और शांत स्वर में बोले, “हम भी थोड़ा-बहुत जानते हैं”
    वह व्यक्ति Tony Hoare ही थे