Home Page of John D. Ramsdell


Prototype but Verify.

--- John D. Ramsdell, VLISP Motto, 1995

There are two ways of constructing a software design. One way is to make it so simple that there are obviously no deficiencies. And the other way is to make it so complicated that there are no obvious deficiencies.

--- C.A.R. Hoare

Instead of imagining that our main task is to instruct a computer what to do, let us concentrate rather on explaining to human beings what we want a computer to do.

--- Donald Knuth on writing software

A distributed system is one that stops you from getting any work done when a machine you've never even heard of crashes.

--- Leslie Lamport

I have always wished for my computer to be as easy to use as my telephone; my wish has come true because I can no longer figure out how to use my telephone.

--- Bjarne Stroustrup

Open formats are at the very heart of our democratic process. The question is whether a sovereign state has the obligation to ensure that its public documents remain forever free and unencumbered by patent, license, or other technical impediments. We say, yes, this is an imperative. Microsoft says they disagree and want the world to use their proprietary formats.

--- Eric Kriss, the Massachusetts Secretary of Administration and Finance

Perfection is not achieved when there is nothing left to add, but when there is nothing left to take away.

--- Antoine de St. Exupery

Men never do evil so cheerfully and so completely as when they do it from religious conviction.

--- Blaise Pascal

A big book is a big evil.

--- Gotthold Lessing

I went to a general store. They wouldn't let me buy anything specifically.

--- Stephen Wright

Feel life.

--- Ramsdell's Maxim


Verification Yin-Yang Logo

I am grateful to the GitHub for making this home page available to me.