Top
Best
New

Posted by speckx 10 hours ago

Tony Hoare has died(blog.computationalcomplexity.org)
1357 points | 187 commentspage 5
brchr 9 hours ago|
“I never had a doctorate, so I had to make do with Quicksort.” —Sir Tony Hoare (unpublished interview for Algorithms to Live By)
jamie_davenport 7 hours ago||
This is devastating news.

When I started university he gave a talk to all the new CompScis which as you can imagine was incredibly inspirational for an aspiring Software Engineer.

Grateful to have had that experience.

RIP

ghoshbishakh 5 hours ago||
His paper on communicating processes was a great read when I was new to computer science research.
shaunxcode 8 hours ago||
Absolutely the GOAT of concurrency. May his ring never die.
riazrizvi 1 day ago||
"The null reference was my billion dollar mistake responsible for innumerable errors, vulnerabilities and system crashes" (paraphrasing). I don't know. This design choice exposed the developer to system realities, and modern language approaches are based on decades of attempts to improve on it, and they are not necessarily better. Safer yes, but more weighty.

Can anyone suggest a better approach for a situation like this in the future? What's better than exposing addressing the problem with a light solution?

magarnicle 1 day ago||
"The problem isn't the concept of 'null', but rather that everything can be null, which makes it impossible to distinguish between the cases where null is an appropriate and expected value, from the cases where null is a defect."

https://blog.ploeh.dk/2015/04/13/less-is-more-language-featu...

pezezin 20 hours ago|||
Which system reality? Plenty of architectures don't have a concept of a null pointer at the hardware level. Other architectures provide multiple address spaces, or segmented memory addressing. Even when a null pointer exists at the hardware level, it doesn't have to be the zero address.

Null pointers are a software abstraction, and nowadays we have better abstractions.

cyberax 1 day ago||
Some kind of an optional/variant type, enforced by the type system.
p1necone 1 day ago||
Or if even that feels too verbose, just a 'nullable' modifier on the variable or field definition, with the default being not nullable.

(Although Optional/Maybe types are definitely my preference based on the languages I've used)

racefan76 4 hours ago||
Rest in peace, Sir Tony Hoare
rramadass 8 hours ago||
1) ACM published this book in 2021; Theories of Programming: The Life and Works of Tony Hoare - https://dl.acm.org/doi/book/10.1145/3477355

See the "preface" for details of the book - https://dl.acm.org/doi/10.1145/3477355.3477356

Review of the above book - https://www.researchgate.net/publication/365933441_Review_on...

Somebody needs to contact ACM and have them make the above book freely available now; there can be no better epitaph.

2) Tony Hoare's lecture in honour of Edsger Dijkstra (2010); What can we learn from Edsger W. Dijkstra? - https://www.cs.utexas.edu/~EWD/DijkstraMemorialLectures/Tony...

Somebody needs to now write a similar one for Hoare.

Truly one of the absolute greats in the history of Computer Science.

rramadass 4 hours ago|
A collection of Tony Hoare's memorable quotes - https://en.wikiquote.org/wiki/C._A._R._Hoare
kittikitti 3 hours ago||
I am greatly saddened by the passing of Tony Hoare. His work has affected me deeply; in personal, academic, and professional life. Without visionaries like him, I would not find the love in computer science as I do now. It would be a great honor to have accomplished a fraction of what he did. My condolences to his close friends and family.
sourcegrift 10 hours ago||
Assert early, assert often!
briane80 1 day ago|
He was a professor at my old alma mater, Queen's University of Belfast. I remember hearing a story about him going to Harvard to give a lecture and, as he was presented, one of their professors referred to himself as the "Hoare of Harvard"
More comments...