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.
Nothing is so dangerous to the progress of the human mind than to assume that our views of science are ultimate, that there are no mysteries in nature, that our triumphs are complete and that there are no new worlds to conquer.
Science is essentially an anarchic enterprise: theoretical anarchism is more humanitarian and more likely to encourage progress than its law-and-order alternatives.
Nothing in biology makes sense except in the light of evolution.
I would only once have the opportunity to let my scientific career encompass a path from the double helix to the three billion steps of the human genome.
The recent developments in cosmology strongly suggest that the universe may be the ultimate free lunch.
We used to think that you could pay attention to five to nine things at a time. We now know that's not true. That's a crazy overestimate. The conscious mind can attend to about three things at once. Trying to juggle any more than that, and you're going to lose some brainpower.
Subscribe for the occasional hand-picked quote. No noise.