Sir Tony Hoare has died

Re:Sir Tony Hoare has died by csb6 on Monday March 09, 2026 @07:54PM (#47317445)

Sad that his (and many others') dream of widespread formal verification of software never came true. He made really fundamental contributions to computer science but will probably be mostly known for quicksort and the quote about his "billion dollar mistake", not his decades-long program to make formal methods more tractable.

Makes me think of an anecdote where Dijkstra said that he feared he would only be remembered for his shortest path algorithm.

[ Parent | on HN ]

Re:Sir Tony Hoare has died by hinkley on Monday March 09, 2026 @08:02PM (#47317499)

Almost all of the earliest cited works on concurrency management in software were authored by C A R 'Tony' Hoare.

I genuinely forget he authored quicksort on the regular.

[ Parent | on HN ]

Re:Sir Tony Hoare has died by yodsanklai on Monday March 09, 2026 @08:21PM (#47317647)

Actually, thanks to AI, this may change soon! we may be in a place where widespread formal verification is finally possible.

[ Parent | on HN ]

Re:Sir Tony Hoare has died by alphaglosined on Wednesday March 11, 2026 @05:33PM (#47342292)

It is more widespread than you may realise.

That work contributes to static analysers' data flow analysis algorithms and is very widespread, even if it's in a limited capacity.

C#, gcc, clang, and even dmd, with my fast DFA engine, utilise it.

We can't all be using Astrée, far too expensive ;)

[ Parent | on HN ]