About the tagline of this blog

A reader noticed that the tagline of this blog bears a resemblance to C.A.R. Hoare’s law:

Inside every large program (problem) is a small program (problem) struggling to get out.

or Rhode’s corollary to Hoare’s Law

Inside every complex and unworkable program is a useful routine struggling to to be free.

More about this ACM Turing Award winner can be found here.

The idea for the tagline came from reading a post in the blog of yet another extraordinary individual.

Leave a comment