Links for January 12th through January 18th

My shared links for January 12th through January 18th:

• Steven Frank: Notes: Home -

• CVXPY documentation -- CVXPY v0.0.1 documentation - Optimization, uses Disciplined Convex Programming

• Progression: Supporting Optimisation in Haskell « Communicating Haskell Processes - Tools for benchmarking haskell performance

• 1.-Environment setup -

• The GNU Prolog web site - Free GNU Prolog - supports ISO

• The Ciao System - "Ciao is a general-purpose programming language which supports logic, constraint, functional, higher-order, and object-oriented programming styles. Its main design objectives are high expressive power, extensibility, safety, reliability, and efficient execution"

• Marmalade: Spreadable Elisp - A repository for elisp packages. Uses ELPA. Didn't work when I tried it, but maybe a firewall issue?

• Haddock Documentation Generator for Haskell - Really nice documentation generator for Haskell code.

I particularly like the synopsis tab.

• Archives of the Caml mailing list > Message from Xavier Leroy [2002] - From 2002: "In summary: there is no SMP support in OCaml, and it is very very unlikely that there will ever be. If you're into parallelism, better investigate message-passing interfaces."

• Archives of the Caml mailing list > Message from Benjamin C. Pierce - Lots of links about CPS and continuations in Ocaml and others.