Normally we'd try to re-up the earliest submission of a story, but in this case the article had little information, while the other post is nicely personal and detailed.
I've left below the comments which were (understandably) debating whether the news was true or not.
(Just to be clear: this is not a criticism! It's an important story, nextos is a fine contributor, and the submission was entirely understandable.)
Wikipedia is reporting him as deceased, but there’s a bit of an editing war going on. No source is cited for his death, and and it’s going back and forth.
Tony Hoare documented almost every form of concurrency primitive that we have in modern software. Pretty much everything prior to Rust's ownership semantics was written down in some form or under another name by Tony in the early 1970's.
Readit News
Normally we'd try to re-up the earliest submission of a story, but in this case the article had little information, while the other post is nicely personal and detailed. I've left below the comments which were (understandably) debating whether the news was true or not.
(Just to be clear: this is not a criticism! It's an important story, nextos is a fine contributor, and the submission was entirely understandable.)
Deleted Comment
According to this blogpost, he sadly passed away last Thursday, March 5th.
Legendary Turing Award Winner.