Imperative Reasoning Is Hard

This is the type of article that makes HN worth reading regularly. Eloquently written and accessible but at the same time going deep down into fundamental issues.

If we could have one article of this quality a week we'd be very lucky indeed.