Progress is possible only if we train ourselves to think about programs without thinking of them as pieces of executable code.
Edsger DijkstraRead
Testing shows the presence, not the absence of bugs.
Interpretation
Testing helps reveal the existing bugs in software rather than proving their non-existence.
Edsger Dijkstra emphasizes that the purpose of testing in software development is to identify and confirm the existence of bugs, rather than trying to demonstrate that no bugs are present. This perspective highlights the inherent uncertainty in programming, suggesting that testing is a vital tool for uncovering issues and improving the quality of software.
In practice
In a software development meeting discussing best practices, this quote illustrates the importance of robust testing.
Progress is possible only if we train ourselves to think about programs without thinking of them as pieces of executable code.
Simplicity is prerequisite for reliability.
The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.
We shall do a much better programming job, provided that we approach the task with a full appreciation of its tremendous difficulty, provided that we stick to modest and elegant programming languages, provided that we respect the intrinsic limitations of the human mind and approach the task as Very Humble Programmers.
The tools we use have a profound and devious influence on our thinking habits, and therefore on our thinking abilities.
LISP has jokingly been described as "the most intelligent way to misuse a computer." I think that description is a great compliment because it transmits the full flavour of liberation: it has assisted a number of our most gifted fellow humans in thinking previously impossible thoughts.
So there he is at last. Man on the moon. The poor magnificent bungler! He can't even get to the office without undergoing the agonies of the damned, but give him a little metal, a few chemicals, some wire and twenty or thirty billion dollars and vroom! there he is, up on a rock a quarter of a million miles up in the sky.
Theory attracts practice as the magnet attracts iron.
"Half genius and half buffoon," Freeman Dyson ... wrote. ... [Richard] Feynman struck him as uproariously American-unbuttoned and burning with physical energy. It took him a while to realize how obsessively his new friend was tunneling into the very bedrock of modern science.
The reality is the majority of us will not get off this planet. So the long run is, some kind of space exploration has to benefit us here on Earth.
Science now finds itself in paradoxical strife with society: admired but mistrusted; offering hope for the future but creating ambiguous choice; richly supported yet unable to fulfill all its promise; boasting remarkable advances but criticized for not serving more directly the goals of society.
They [scientists of centuries past] call on God only from the lonely and precarious edge of incomprehension. Where they feel certain about their explanations, however, God gets hardly a mention.
Subscribe for the occasional hand-picked quote. No noise.