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've had a chance to fly a lot of different airplanes, but it was nothing like the shuttle ride.
Carbon has this genius of making a chemically stable, two-dimensional, one-atom-thick membrane in a three-dimensional world. And that, I believe, is going to be very important in the future of chemistry and technology in general.
The scientist who yields anything to theology, however slight, is yielding to ignorance and false pretenses, and as certainly as if he granted that a horse-hair put into a bottle of water will turn into a snake.
The fact that mathematics does such a good job of describing the Universe is a mystery that we don't understand. And a debt that we will probably never be able to repay.
Freedom is absolutely necessary for the progress in science and the liberal arts.
We live in a society exquisitely dependent on science and technology, in which hardly anyone knows anything about science and technology.
Subscribe for the occasional hand-picked quote. No noise.