News for hackers. Stuff that matters.

A comment on An Axiomatic Basis for Computer Programming (1969) [pdf].

Re:An Axiomatic Basis for Computer Programming (1969) [pdf] by BruceEel on Wednesday March 31, 2021 @06:16AM (#26645463)
A gem of readability and clarity.
[ Parent | on HN ]
Re:An Axiomatic Basis for Computer Programming (1969) [pdf] by cjohansson on Wednesday March 31, 2021 @08:19AM (#26646245)
How does one read it? I simply can't read it, only see the first page
[ Parent | on HN ]
Re:An Axiomatic Basis for Computer Programming (1969) [pdf] by d_tr on Wednesday March 31, 2021 @08:52AM (#26646601)
Did you try more than one viewer? It renders fine in Evince and in Vivaldi here. The 'bodies' of the pages are not regular text but images over that background gradient, by the way.
[ Parent | on HN ]
Re:An Axiomatic Basis for Computer Programming (1969) [pdf] by baxrob on Wednesday March 31, 2021 @09:33AM (#26647053)
Works for me but found this less unusual pdf: http://www.cs.toronto.edu/~chechik/courses05/csc410/readings...
[ Parent | on HN ]
Re:An Axiomatic Basis for Computer Programming (1969) [pdf] by tjalfi on Wednesday March 31, 2021 @10:12AM (#26647558)
(submitter)

Thanks, I have asked dang to update the link.

[ Parent | on HN ]