A convincing demonstration of correctness being impossible as long as the mechanism is regarded as a black box, our only hope lies in not regarding the mechanism as a black box.
APL is a mistake, carried through to perfection. It is the language of the future for the programming techniques of the past: it creates a new generation of coding bums.
Why has elegance found so little following? That is the reality of it. Elegance has the disadvantage, if that’s what it is, that hard work is needed to achieve it and a good education to appreciate it.
APL is a mistake, carried through to perfection.
Lisp has jokingly been called “the most intelligent way to misuse a computer”. I think that description is a great compliment because it transmits the full flavor of liberation: it has assisted a number of our most gifted fellow humans in thinking previously impossible thoughts.
We must be very careful when we give advice to younger people: sometimes they follow it!
I mentioned the non-competitive spirit explicitly, because these days, excellence is a fashionable concept. But excellence is a competitive notion, and that is not what we are heading for: we are heading for perfection.
If you want more effective programmers, you will discover that they should not waste their time debugging, they should not introduce the bugs to start with.
Programming in Basic causes brain damage.
Beauty is our business.
Write a paper promising salvation, make it a structured something or a virtual something, or abstract, distributed or higher-order or applicative and you can almost be certain of having started a new cult.
Don’t blame me for the fact that competent programming, as I view it as an intellectual possibility, will be too difficult for the average programmer, you must not fall into the trap of rejecting a surgical technique because it is beyond the capabilities of the barber in his shop around the corner.
Aim for brevity while avoiding jargon.
In passing I draw attention to another English expression which often occurs in Dutch texts: “the real world”. In Dutch – and I am afraid not in Dutch alone – its usage is almost always a symptom of a violent anti-intellectualism.
Don’t compete with me: firstly, I have more experience, and secondly, I have chosen the weapons.
Teaching to unsuspecting youngsters the effective use of formal methods is one of the joys of life because it is so extremely rewarding.
The lurking suspicion that something could be simplified is the world’s richest source of rewarding challenges.
Experience does by no means automatically leads to wisdom and understanding.
John von Neumann draws attention to what seemed to him a contrast. He remarked that for simple mechanisms, it is often easier to describe how they work than what they do, while for more complicated mechanisms, it is usually the other way around.
We are all shaped by the tools we use, in particular: the formalisms we use shape our thinking habits, for better or for worse, and that means that we have to be very careful in the choice of what we learn and teach, for unlearning is not really possible.
The competent programmer is fully aware of the limited size of his own skull. He therefore approaches his task with full humility, and avoids clever tricks like the plague.