Konrad Zuse (1994)(xn--plankalkl-x9a.de)

72 points by tmalsburg2 2 years ago | 41 comments

The Legend of von Neumann (1973) [pdf](gwern.net)

292 points by suopspaces 24 days ago | 163 comments

A 1973 essay by mathematician Paul Halmos recounting the life, achievements, and legends of John von Neumann, presented as a scanned PDF.

The Humble Programmer (1972)(cs.utexas.edu)

104 points by squircle 1 year ago | 28 comments

Why I love OCaml (2023)(mccd.space)

379 points by art-w 11 months ago | 270 comments

Personal blog post by Marc Coquand explaining why he loves OCaml, comparing it with Haskell and other languages he has used.

Dijkstra On the foolishness of "natural language programming"(cs.utexas.edu)

390 points by nimbleplum40 1 year ago | 236 comments

Transcription of Edsger Dijkstra's manuscript EWD 667 arguing that programming in natural language is foolish and that formal symbolism is essential.

On the foolishness of “natural language programming” (1978)(cs.utexas.edu)

93 points by behnamoh 3 years ago | 42 comments