tristramb

You might be thinking of Russell's Principles of Mathematics which is a bit easier going.

Reminds me of a 'mimoid' from Stanisław Lem's Solaris.

He learnt the hard way (as did all those who followed him into Russia)

A year ago I started sending postcards to my 91 year old father because he has difficulties with modern forms of communication. They do still exist but you have to search for them.

Its so the monsters can't see you.

Or reading a forum populated only by bots.

He liked to be able to reason about programs without running them. He preferred simpler languages because they contain less irrelevant noise which got in the way of that.

"Kinda hard to find where Dijkstra praised something (except Algol 60)."

Hamilton Richards, who was one of Dijkstra's colleagues at the University of Texas, told me in an email that Dijkstra was impressed by the work of Richard Bird on functional programming.

Use the Tor browser

Yes, that is how Facebook, Yahoo and many other companies started out. But they rewrote their code when it became to big to be maintainable. The problem with shoddy code is not necessarily that it doesn't work but that it becomes impossible to change.

But it was like this before. Its just that now the sewer that was keeping it all hidden has now broken and it is spewing out all over the world.

"To explain what I was doing in logic-driven software architecture I looked for a good metaphor and, on the spot, proposed that there was a kind of “contract” between caller and callee. He did not say anything, but his mere presence had enabled me to make my incipient ideas jell."

I hadn't realised that Hoare was present when Meyer first used the term 'contract' to describe his ideas.