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
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
An Exercise in Unplugging the Church-Turing Thesis [Part 2]
An Exercise in Unplugging the Church-Turing Thesis [Part 1]
Freely Available: 2015 paper on Turing's legacy
Book Announcement :: Arthur C. Fleck :: 2018
Not enough citations in the Comm. of the ACM
Cars and Automatic Programming
FUTURE CRIMES
Writing Assignment at Siegen University
Reading Assignments at Siegen University
J. Somers: The Coming Software Apocalypse
Strachey and ApSimon, 1965
Hopcroft and Ullman
`Plato and the Nerd,' Part 2b: Computer Science & Descriptions vs. Software Engineering & Prescriptions
`Plato and the Nerd,' Part 2a: Penrose et al.
`Plato and the Nerd,' Part 1
1 of 10
next ›
Recent comments
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
Fetzer and finiteness
1 of 8
next ›
Turing Tales
Algorithmic Barriers Falling: P=NP?
The Dawn of Software Engineering
The Essential Knuth
