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
You are here
`History of Comp. Science' course :: Lecture A
A
A.optional.3.pdf
« Back to gallery
Item 4 of 5
« Previous
|
Next »
Recent posts
`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?
Turing Tales
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
The POPL Gatekeeper
Parnas and Chaudhuri
Deep Specification and Andrew Appel
Analysis Tools and Michael Hicks
1 of 10
next ›
Recent comments
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
flying drones in a workshop
a child
Hacking into a Tesla
1 of 8
next ›
Turing Tales
Algorithmic Barriers Falling: P=NP?
The Dawn of Software Engineering
The Essential Knuth
