Skip to main content

Main menu

Diaries
Dijkstra's library
EWD1000
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

`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

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? :-)

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

Home
About