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.
I learnt to distrust all physical concepts as the basis for a theory. Instead one should put one's trust in a mathematical scheme, even if the scheme does not appear at first sight to be connected with physics. One should concentrate on getting interesting mathematics.
Right now, there could well be messages from the stars flying right through this room. Through you and me. And if we had the right receiver set up properly, we could detect them. I still get chills thinking about it.
Nothing great in science has ever been done by men, whatever their powers, in whom the divine afflatus of the truth-seeker was wanting.
On seeing the marsupials in Australia for the first time and comparing them to placental mammals: βAn unbeliever . . . might exclaim 'Surely two distinct Creators must have been at work'β
It is the weight, not numbers of experiments that is to be regarded.
The fossil reserves that have already been discovered exceed what can ever be safely used. Yet companies spend half a trillion dollars each year searching for more fuel. They should redirect this money toward developing clean energy solutions
Subscribe for the occasional hand-picked quote. No noise.