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
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
The POPL Gatekeeper
Parnas and Chaudhuri
Deep Specification and Andrew Appel
Analysis Tools and Michael Hicks
Technical Artefacts and John Reynolds
Category Mistakes in Computer Science
Wittgenstein — cars — Turing
Getting Software Right
Self-Crashing Cars
Michael A. Jackson
Dijkstra's chair (Courtesy of W.H.J. Feijen)
Picture of EWD (Courtesy of Michiel Wijers)
Jos Baeten
Why Did Computer Science Make a Hero out of Turing?
Knuth and P = NP
‹ previous
4 of 12
next ›
Recent comments
sorting morphims
Book presentation in Cambridge
Insertion sort and heap sort are two cases of same algorithm?
Recursion not elegant?
A very controversial topic
An "engineer"
Not an engineer?
It is very true and very sad.
We use machines as our slaves
Really an excellent example to show the power of symmetry.
‹ previous
5 of 8
next ›
Turing Tales
Algorithmic Barriers Falling: P=NP?
The Dawn of Software Engineering
The Essential Knuth
