On: Dijkstra Was Wrong About 'Radical Novelty'

[aryehof]

Many thanks for that. Very thought provoking.

> through expansion "horseback formal methods"

I haven’t heard this terminology before. Any references you can recommend to learn more?

[tel → aryehof]

Here "horseback" is a term I'm using to mean "applied in the field, cutting corners as needed to make things valuable now". I'm not sure exactly where I picked it up, but I like the idea.