The ideas presented in "Hints and Principles for Computer System Design" are timeless wisdom for systems programmers. They're relatively simple, broadly applicable, and can easily have outsized importance.
Conversation
Replying to
The idea that first order logic is a good language for specification of computer systems is not supported by any evidence.
1
Replying to
I don't think that anybody claimed otherwise. For any definition of "good language". The paper appeals to me as an intuitive thinker. There are probably smart and capable people that would dismiss all this. That doesn't concern me in the slightest - take it or leave it.
1
Show replies