One of the greats. Invented quicksort and concurrent sequential processes. I always looked up to him because he also seemed very humble.
한국어 (번역)
One of the greats. Invented quicksort and concurrent sequential processes. I always looked up to him because he also seemed very humble.
sourcegrift2026-03-11 00:01
ENGLISH (원문)
Assert early, assert often!
한국어 (번역)
Assert early, assert often!
john_strinlai2026-03-11 00:08
ENGLISH (원문)
https://news.ycombinator.com/item?id=47316880 249 points by nextos 16 hours ago | 61 comments
한국어 (번역)
https://news.ycombinator.com/item?id=47316880 249 points by nextos 16 hours ago | 61 comments
baruchel2026-03-11 00:09
ENGLISH (원문)
Yes, but don't forget his formal work also (Hoare logic).
한국어 (번역)
Yes, but don't forget his formal work also (Hoare logic).
brian_herman2026-03-11 00:16
ENGLISH (원문)
Needs a black bar!
한국어 (번역)
Needs a black bar!
criddell2026-03-11 00:17
ENGLISH (원문)
Tony's An Axiomatic Basis for Computer Programming[1] is the first academic paper that I read that I was able to understand when I was an undergrad. I think it unlocked something in me because before that I never believed that I would be able to read and understand scientific papers. That was 35ish years ago. I just pulled up the paper now and I can't read the notation anymore... This might be something that I try applying an AI to. Get it to walk me through a paper paragraph-by-paragraph until I get back up to speed. [1]:https://dl.acm.org/doi/10.1145/363235.363259
한국어 (번역)
Tony's An Axiomatic Basis for Computer Programming[1] is the first academic paper that I read that I was able to understand when I was an undergrad. I think it unlocked something in me because before that I never believed that I would be able to read and understand scientific papers. That was 35ish years ago. I just pulled up the paper now and I can't read the notation anymore... This might be something that I try applying an AI to. Get it to walk me through a paper paragraph-by-paragraph until I get back up to speed. [1]:https://dl.acm.org/doi/10.1145/363235.363259
Plasmoid2026-03-11 00:18
ENGLISH (원문)
Fun story - at Oxford they like to name buildings after important people. Dr Hoare was nominated to have a house named after him. This presented the university with a dilemma of having a literal `Hoare house` (pronounced whore). I can't remember what Oxford did to resolve this, but I think they settled on `C.A.R. Hoare Residence`.
한국어 (번역)
Fun story - at Oxford they like to name buildings after important people. Dr Hoare was nominated to have a house named after him. This presented the university with a dilemma of having a literal `Hoare house` (pronounced whore). I can't remember what Oxford did to resolve this, but I think they settled on `C.A.R. Hoare Residence`.
wood_spirit2026-03-11 00:19
ENGLISH (원문)
And regretful inventor of the null reference! His “billion dollar mistake”: https://www.infoq.com/presentations/Null-References-The-Bill...
한국어 (번역)
And regretful inventor of the null reference! His “billion dollar mistake”: https://www.infoq.com/presentations/Null-References-The-Bill...
groos2026-03-11 00:22
ENGLISH (원문)
I've had the good fortune to attend two of his lectures in person. Each time, he effortlessly derived provably correct code from the conditions of the problem and made it seem all too easy. 10 minutes after leaving the lecture, my thought was "Wait, how did he do it again?". RIP Sir Tony.
한국어 (번역)
I've had the good fortune to attend two of his lectures in person. Each time, he effortlessly derived provably correct code from the conditions of the problem and made it seem all too easy. 10 minutes after leaving the lecture, my thought was "Wait, how did he do it again?". RIP Sir Tony.
ziyao_w2026-03-11 00:23
ENGLISH (원문)
Random anecdote and Mr. Hoare (yep not a Dr.) has always been one of my computing heroes. Mr. Hoare did a talk back during my undergrad and for some reason despite totally checked out of school I attended, and it is one of my formative experiences. AFAICR it was about proving program correctness. After it finished during the Q&A segment, one student asked him about his opinions about the famous Brooks essay No Silver Bullet and Mr. Hoare's answer was... total confusion. Apparently he had not heard of the concept at all! It could be a lost in translation thing but I don't think so since I remember understanding the phrase "silver bullet" which did not make any sense to me. And now Mr. Hoare and Dr. Brooks are two of my all time computing heroes.
한국어 (번역)
Random anecdote and Mr. Hoare (yep not a Dr.) has always been one of my computing heroes. Mr. Hoare did a talk back during my undergrad and for some reason despite totally checked out of school I attended, and it is one of my formative experiences. AFAICR it was about proving program correctness. After it finished during the Q&A segment, one student asked him about his opinions about the famous Brooks essay No Silver Bullet and Mr. Hoare's answer was... total confusion. Apparently he had not heard of the concept at all! It could be a lost in translation thing but I don't think so since I remember understanding the phrase "silver bullet" which did not make any sense to me. And now Mr. Hoare and Dr. Brooks are two of my all time computing heroes.
jgrahamc2026-03-11 00:26
ENGLISH (원문)
He was the professor in the Programming Research Group (known universally as the PRG) at Oxford when I was doing my DPhil and interviewed me for the DPhil. I spent quite a bit of time with him and, of course, spent a lot of time doing stuff with CSP. Sad to think that the TonyHoare process has reached STOP. RIP.
한국어 (번역)
He was the professor in the Programming Research Group (known universally as the PRG) at Oxford when I was doing my DPhil and interviewed me for the DPhil. I spent quite a bit of time with him and, of course, spent a lot of time doing stuff with CSP. Sad to think that the TonyHoare process has reached STOP. RIP.
댓글
13