( kmx.io )

Computer programming

1 Books

Structure and Interpretation of Computer Programs, Harold Abelson, Gerald Jay Sussman.
Full text : PDF, HTML.

2 Papers

The Gentle Art of Levitation

Une preuve formelle et intuitionniste du théorème de complétude de la logique classique

3 Essays

Lisp essays by Paul Graham

https://www.dreamsongs.com/

4 Mailing-lists

The OpenBSD mailing lists : misc ports tech

5 Weblogs

Lambda the Ultimate

Undeadly

6 Projects by language

6.1 C

6.2 C++

6.3 Common Lisp


© 2018 kmx.io