Skip to main content
50 years ago
40 years ago
30 years ago
Dijkstra's Rallying Cry for Generalization
Request new password
Enter your Dijkstra's Rallying Cry for Generalization username.
Enter the password that accompanies your username.
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
Ensmenger & Flowcharts
Is your drone Turing complete?
Believing in humanity again
`History of Comp. Science' course :: Lecture A
J. Kemeny. Man Viewed as a Machine.
Michelle Obama vs. the Gatekeeper
Marvin Minsky and the Gatekeeper
2 of 11
McCarthy and Shapiro (1987)
Common Sense on Self-Driving Cars
Dijkstra and 100% correctness (1993)
corner cases remain problematic, also with deep learning
what do you think I'm going to say? :-)
Boyer & Moore
Fetzer and finiteness
1 of 8
Algorithmic Barriers Falling: P=NP?
The Dawn of Software Engineering
The Essential Knuth