Post #2149697
2026-04-27 17:12 UTC
@vnikolov @munificent
I respect Hoare and I believe in the importance of history, so I am loathe to put it so strongly.
But I never did think that it was the last word.
Replies (1)
-
@vnikolov@ieji.de 2026-04-27 17:18
By no means was it ever meant as the last word. But when did things actually move beyond what Hoare wrote about? Or, never mind a year or a decade; at which point, with which particular development? @dougmerritt @munificent