Tony Hoare dies, software loses giant

Hoare was not an AI founder, but modern AI developers still live inside the software culture he helped build: simple abstractions, provable correctness, and deep respect for concurrency.

• –Quicksort remains one of the most recognizable algorithms in computer science, a rare piece of theory that became everyday engineering.
• –Hoare logic turned program correctness into something that could be reasoned about formally, a theme that keeps resurfacing in verification, safety, and AI-generated code.
• –CSP influenced languages and systems from Occam and Erlang to Go, making this a story about foundations rather than nostalgia.