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.
The only difference between men and women in science is that the women have the babies. This makes it more difficult for women in science but should not be seen as a barrier, for it is merely another challenge to be overcome.
Gases are distinguished from other forms of matter, not only by their power of indefinite expansion so as to fill any vessel, however large, and by the great effect heat has in dilating them, but by the uniformity and simplicity of the laws which regulate these changes.
I can never look now at the Milky Way without wondering from which of those banked clouds of stars the emissaries are coming. If you will pardon so commonplace a simile, we have set off the fire alarm and have nothing to do but to wait. I do not think we will have to wait for long.
A page from a journal of modern experimental physics will be as mysterious to the uninitiated as a Tibetan mandala. Both are records of enquiries into the nature of the universe.
Universe consists of frozen light.
What really matters for me is ... the more active role of the observer in quantum physics ... According to quantum physics the observer has indeed a new relation to the physical events around him in comparison with the classical observer, who is merely a spectator.
Subscribe for the occasional hand-picked quote. No noise.