Skip to main content
Main menu
Diaries
50 years ago
40 years ago
30 years ago
Turing centenary
Category Mistakes
Self-driving cars
Dijkstra's library
EWD1000
Teaching
Pictures
Videos
About
Dijkstra's Rallying Cry for Generalization
Log in
(active tab)
Request new password
User login
Username
*
Enter your Dijkstra's Rallying Cry for Generalization username.
Password
*
Enter the password that accompanies your username.
Recent posts
Things Dijkstra would like to do
Program Execution as a Living Tree
Ansichtkaart ARMAC 1957 (back face)
Ansichtkaart ARMAC 1957 (front face)
Van Wijngaarden's "Linguist" in 1952
Dijkstra's "Computer Scientist" in 1982
Dijkstra's "Software Engineer" in 1972
Book Reviews and Presentations
Disobedient John
Presentations
Step-Wise Composition: Confusing Terminology?
Step-Wise Composition: Generality Prevails
Mathematics and reasoning by analogy
Physics and reasoning by analogy
Four Snapshots of Dijkstra's Career
‹ previous
6 of 12
next ›
Recent comments
philosophical game
McCarthy and Shapiro (1987)
waking up
Common Sense on Self-Driving Cars
Dijkstra and 100% correctness (1993)
corner cases remain problematic, also with deep learning
liminal artifacts
Good point
what do you think I'm going to say? :-)
Boyer & Moore
1 of 8
next ›
Turing Tales
Algorithmic Barriers Falling: P=NP?
The Dawn of Software Engineering
The Essential Knuth
