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
You are here
Presentations
Dawn Of Software Engineering
Video of Dawn of Software Engineering
« Back to gallery
Item 1 of 5
Next »
Recent posts
Computability Unplugged?
Using History to Teach Mathematics
Cantor's diagonal argument & potential infinity do not mix
Turing Machine as Boundary Object
From perusal to poetry
Plato, Aristotle, and Programming
What is a "program text"?
Natural Daylight Defence
Paper Available: "The Halting Problem and Security's Language-Theoretic Approach ..."
Lecture 3: "Turing's 1948 Bridge: from Logical to Practical Machinery"
Is the hype about 'self-driving cars' finally over?
Sociotechnical Systems :: from Brian Cantwell Smith and Michael Jackson to Nancy Leveson
Vindicating Turing and von Neumann?
Don't Conflate Turing Machines and Dishwashers (warns Edward A. Lee)
Cars that really do crash, autonomously
1 of 12
next ›
Recent comments
Fetzer and finiteness
flying drones in a workshop
a child
Hacking into a Tesla
Tesla Crash and Deep learning
Wittgenstein's argument in context
machine learning versus explicit lists of rules
turning radius?
China's elevated bus.
networking self-driving cars
‹ previous
2 of 8
next ›
Turing Tales
Algorithmic Barriers Falling: P=NP?
The Dawn of Software Engineering
The Essential Knuth