|
⇤ ← Revision 1 as of 2025-03-23 23:37:26
Size: 606
Comment:
|
Size: 3016
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 6: | Line 6: |
| Many of the algorithms and methods are presented as (pseudo)code, which concatenates operations with semicolons and appears to use indents as flow control - perhaps. I did not take time to specifically understand them, beyond accepting without proof that structure can improve correctness. | |
| Line 7: | Line 9: |
| .p97 [[ https://en.wikipedia.org/wiki/Guarded_Command_Language | guarded commands ]] example | .p49 William Blake "He who would do good to another must do it in minute particulars. General Good is the plea of the scoundrel, hypocrite, and flatterer. For Art and Science cannot exist but in minutely organized particulars. .p66 Strachey 1969: "I am quite convinced that computing will become a very important science. But at the moment we are in a very primitive state of development; we don't know the basic principles yet and we must learn them first. If universities spend their time teaching the state of the art, they will not discover these principles and that, surely, is what academics should be doing." .p97 [[ https://en.wikipedia.org/wiki/Guarded_Command_Language | guarded commands ]] example |
| Line 9: | Line 13: |
| .p97 "awful properties of the CDC-machine they have to use" | .p97 "awful properties of the [[ https://en.wikipedia.org/wiki/CDC_6600#Operating_system_and_programming | CDC-machine ]] they have to use |
| Line 11: | Line 15: |
| .p125 ... triangle "university-manufacturer-customer" ... .p125 companion volume to [[ https://en.wikipedia.org/wiki/Arthur_Koestler | Arthur Koestler's ]] [[ https://en.wikipedia.org/wiki/The_Call-Girls | The Call Girls ]] .p127 [[ https://en.wikipedia.org/wiki/Tony_Hoare | C.A.R. (Tony) Hoare ]] "Simplicity is the price we must pay for reliability" .p127 It is no longer "logical spaghetti", but "logical barbed wire". .p127 "Why is everyone so damned pessimistic?" "Because all of us have heard this morning's keynote address" .p128 make your system meet the requirements - and during that phase it is wise to consider yourself the user - and if the system's customer happens to be someone else than yourself, deal with the problem of discovering his needs and intentions as a separate issue. .p128 [[ https://www.mimuw.edu.pl/media/uploads/memories/files/wladyslaw-m-turski-memories-by-jan-madey.pdf| Wlad Turski ]] "They don't want computer scientists, nor software engineers, they want brainwashed mental cripples. .p129 EWD498 How Do We Tell Truths that Might Hurt? .Programming is one of the most difficult branches of applied mathematics; the poorer programmers had better remain pure mathematicians. .p130 About the use of language: it is impossible to sharpen a pencil with a blunt axe. It is equally vane to do it with ten blunt axes instead. .p161 [[ | ]] |
Selected Writings on Computing: A Personal Perspective
Edsger W. Dijkstra, Springer-Verlag 1982, PSU QA76.24.D54 1982
Many of the algorithms and methods are presented as (pseudo)code, which concatenates operations with semicolons and appears to use indents as flow control - perhaps. I did not take time to specifically understand them, beyond accepting without proof that structure can improve correctness.
- p49 William Blake "He who would do good to another must do it in minute particulars. General Good is the plea of the scoundrel, hypocrite, and flatterer. For Art and Science cannot exist but in minutely organized particulars.
- p66 Strachey 1969: "I am quite convinced that computing will become a very important science. But at the moment we are in a very primitive state of development; we don't know the basic principles yet and we must learn them first. If universities spend their time teaching the state of the art, they will not discover these principles and that, surely, is what academics should be doing."
p97 guarded commands example
https://en.wikipedia.org/wiki/Promela is an example, Linux implementation available
p97 "awful properties of the CDC-machine they have to use
p100 Riemann hypothesis
- p125 ... triangle "university-manufacturer-customer" ...
p125 companion volume to Arthur Koestler's The Call Girls
p127 C.A.R. (Tony) Hoare "Simplicity is the price we must pay for reliability"
- p127 It is no longer "logical spaghetti", but "logical barbed wire".
- p127 "Why is everyone so damned pessimistic?" "Because all of us have heard this morning's keynote address"
- p128 make your system meet the requirements - and during that phase it is wise to consider yourself the user - and if the system's customer happens to be someone else than yourself, deal with the problem of discovering his needs and intentions as a separate issue.
p128 Wlad Turski "They don't want computer scientists, nor software engineers, they want brainwashed mental cripples.
- p129 EWD498 How Do We Tell Truths that Might Hurt?
- Programming is one of the most difficult branches of applied mathematics; the poorer programmers had better remain pure mathematicians.
- p130 About the use of language: it is impossible to sharpen a pencil with a blunt axe. It is equally vane to do it with ten blunt axes instead.
- p161