TXR Lisp(nongnu.org)

141 points by tosh 2 years ago | 18 comments

Fleng 22 (concurrent logic programming)(call-with-current-continuation.org)

119 points by 082349872349872 1 year ago | 11 comments

The ABC Programming Language(homepages.cwi.nl)

55 points by TheFreim 1 year ago | 6 comments

Generalizing Printf in C(webb.is-a.dev)

26 points by oliverkwebb 11 months ago | 8 comments

Functional Programming with TypeScript's Type System(desislav.dev)

74 points by evolveyourmind 3 years ago | 30 comments

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.