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.
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
Lecture 2: "An Impossible Program: from Turing to Strachey"
Lecture 1: "Bye Bye Turing Hype"
Chapter 1 of Turing Tales
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
1 of 11
flying drones in a workshop
Hacking into a Tesla
Tesla Crash and Deep learning
Wittgenstein's argument in context
machine learning versus explicit lists of rules
China's elevated bus.
networking self-driving cars
Turing's importance and Turing's paper OCN
2 of 8
Algorithmic Barriers Falling: P=NP?
The Dawn of Software Engineering
The Essential Knuth