Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

On the cruelty of really teaching computing science

On the cruelty of really teaching computing science (1988)

CS388: Natural Language Processing

Memory Consistency Models: A Tutorial

Notes on Structured Programming (1970) [pdf]

A Parabel (1973)

The Bitter Lesson (2019) [pdf]

Numbering Should Start at Zero

On understanding data abstraction, revisited (2009) [pdf]

On the foolishness of “natural language programming” (1978)

Cramming More Components onto Integrated Circuits (1965) [pdf]

By way of introduction – EWD 1041 (1989)

Symbolic Programming with Clojure [pdf]

Extensibility for the Masses (2012)

There is no ‘royal road’ to geometry (1982)

An Introduction to Binary Decision Diagrams

Efficiently Computing SSA Form and the Control Dependence Graph (1991)

You and Your Research

Proving the Coding Interview

Neurosymbolic Programming (2021)

(Development of) AppleScript

The Threats to Computing Science

Neuro Evolving Robot Operatives

A commemoration of Edsger Dijkstra

A Flying Demo of ACL2 (2000)

The Boyer-Moore Fast String Searching Algorithm

Why numbering should start at zero (1982)

On Understanding Data Abstraction, Revisited (2009)

The TRIPS project: an explicit data graph execution (EDGE) processor

How do we tell truths that might hurt? – E.W.Dijkstra

More →