Gilles’s links on Programming.