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 Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s