It may be trivial, but it certainly wasn't easy.
John Cowles, 2003 ACL2 Workshop
Why of course the people don't want war. Why should some poor
slob on a farm want to risk his life in a war when the best he can get
out of it is to come back to his farm in one piece? Naturally, the
common people don't want war . . . But after all it is the leaders of
the country who determine the policy, and it is always a simple matter
to drag the people along, whether it is a democracy, or a fascist
dictatorship, or a parliament, or a communist dictatorship ... Voice
or no voice, the people can always be brought to the bidding of
leaders. That is easy. All you have to do is tell them they are being
attacked [and] denounce the pacifists for lack of patriotism and
exposing the country to danger.
Herman Goering, Luftwaffe commander, at Nuremberg, 1946
I don't know who discovered water, but it wasn't a fish.
Marshal McLuhan
It's not what you don't know that hurts you. It's what you do know that
ain't so.
Will Rogers
Considering how many fools can calculate, it is surprising that it
should be thought either a difficult or a tedious task for any other fool to
learn how to master the same tricks. What one fool can do, another can.
Silvanus P. Thompson
Call on God, but row away from the rocks.
Indian proverb
As soon as we started programming, we found to our surprise that it
wasn't as easy to get programs right as we had thought. Debugging had to be
discovered. I can remember the exact instant when I realized that a large part
of my life from then on was going to be spent in finding mistakes in my own
programs.
Maurice Wilkes discovers debugging, 1949
Sometimes I think about something and then I don't know any more when
I'm done than I did when I started; but I don't let that stop me.
Arlo Guthrie
Sometimes you have to just do something even if you don't understand it.
Arlo Guthrie
To quit is always sound.
ACL2 documentation
Furious activity is no substitute for understanding.
H. H. Williams
We don't go there, to the high mountains, to conquer the mountain. We go
there to conquer the hidden corner of our souls.
Reinhold Messner
Sometimes you have to look reality in the eye and just deny it.
Garrison Keillor
Beer is proof that God loves us and wants us to be happy.
Benjamin Franklin
It is only possible to succeed at second-rate pursuits -- like becoming
a millionaire or a prime minister, winning a war, seducing a beautiful woman,
flying through the stratosphere, or landing on the moon. First-rate pursuits --
involving, as they must, trying to understand what life is about and trying to
convey that understanding -- inevitably result in a sense of failure. A
Napoleon, a Churchill, a Roosevelt can feel themselves to be successful, but
never a Socrates, a Pascal, a Blake. Understanding is forever unattainable.
Therein lies the inevitability of failure in embarking upon its quest, which is
nonetheless the only one worthy of serious attention.
Malcolm Muggeridge, 1965
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. The first method
is far more difficult.
C.A.R. Hoare
Is forbidden to steal towels, please. If you are not person to do such
is please not to read notice.
Sign in Tokyo Hotel
Everybody is kind of neurotic when you bother to turn them
inside out.
Gwen Maxi
Honest criticism is hard to take, particularly from a relative,
a friend, an acquaintance, or a stranger.
Franklin P. Jones
Computers are useless. They can only give you
answers.
Pablo Picasso
Pick battles big enough to matter, small enough to
win.
Johathan Kozol
On the day we can see our parents’ mistakes in ourselves,
we are no longer kids.
Scott Simon
The enemy of truth is not the lie deliberate, it’s the myth
repeated
John F. Kennedy
Nobody understands the world they’re in, but some
people are better off at it than others.
Richard P. Feynman
It is not necessary to change. Survival is not mandatory.
W. Edwards Deming
The complexity of practice has always dwarfed the simplicity of theory.
Robert Britcher
We choose our joys and sorrows long before we experience them.
Kahlil Gibran
Good words will not give my people good health and stop them
from dying. Good words will not get my people a home where they can
live in peace and take care of themselves. I am tired of talk that
comes to nothing.
Chief Joseph
In spite of your religion you can be a good person.
Fares Fraig