4 ms·
A great link nugget from the article: https://wp.doc.ic.ac.uk/cairesfe/wp-content/uploads/sites/80/2014/12/reject.pdf https://wp.doc.ic.ac.uk/cairesfe/wp-conten
by s1mplicissimus 1y ago
A great link nugget from the article: https://wp.doc.ic.ac.uk/cairesfe/wp-content/uploads/sites/80/2014/12/reject.pdf https://wp.doc.ic.ac.uk/cairesfe/wp-content/uploads/sites/80... - a parody on how some historically very significant papers might be rejected in today's system. made me chuckle a lot
- Joker_vD 1y agoThe critique of "An Axiomatic Basis for Computer Programming" is pretty much on spot though. The humble "procedure call" was not given a satisfactory Hoare's rule until the late 80s, for instance.