Tony Hoare, the brilliant mind behind Quicksort and the “Hoare Condition,” passed away at the age of 94 on 31 March 2026, leaving an indelible mark on computer science. His work spanned decades, shaping how we write, test, and reason about code. In this article we celebrate his life, dissect