just learned about the passing of sir tony hoare and i'm still trying to wrap my head around the http://lefenetrou.blogspot.com/2026/03/in-memoriam-tony-hoare.html