http://michael-mccracken.net/enFri, 13 Nov 2015 19:12:36 GMThttps://getnikola.com/http://blogs.law.harvard.edu/tech/rsshttp://michael-mccracken.net/2012/01/links-for-january-12th-through-january-18th/Michael McCracken<div><p>My shared links for January 12th through January 18th:</p> <ul> <li> <p><a href="http://stevenf.com/notes/">Steven Frank: Notes: Home</a> - </p> </li> <li> <p><a href="http://www.stanford.edu/~ttinoco/cvxpy/">CVXPY documentation -- CVXPY v0.0.1 documentation</a> - Optimization, uses Disciplined Convex Programming</p> </li> <li> <p><a href="http://chplib.wordpress.com/2010/02/04/progression-supporting-optimisation-in-haskell/">Progression: Supporting Optimisation in Haskell « Communicating Haskell Processes</a> - Tools for benchmarking haskell performance</p> </li> <li> <p><a href="http://www.jamesmolloy.co.uk/tutorial_html/1.-Environment%20setup.html">1.-Environment setup</a> - </p> </li> <li> <p><a href="http://www.gprolog.org/">The GNU Prolog web site</a> - Free GNU Prolog - supports ISO</p> </li> <li> <p><a href="http://www.ciaohome.org/">The Ciao System</a> - "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"</p> </li> <li> <p><a href="http://marmalade-repo.org/">Marmalade: Spreadable Elisp</a> - A repository for elisp packages. Uses ELPA. Didn't work when I tried it, but maybe a firewall issue?</p> </li> <li> <p><a href="http://www.haskell.org/haddock/">Haddock Documentation Generator for Haskell</a> - Really nice documentation generator for Haskell code.</p> </li> </ul> <p>I particularly like the synopsis tab.</p> <ul> <li> <p><a href="http://caml.inria.fr/pub/ml-archives/caml-list/2002/11/64c14acb90cb14bedb2cacb73338fb15.fr.html">Archives of the Caml mailing list &gt; Message from Xavier Leroy [2002]</a> - 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."</p> </li> <li> <p><a href="http://caml.inria.fr/pub/ml-archives/caml-list/2002/04/a20d07d890dc2ebd525fbe3eed177492.en.html">Archives of the Caml mailing list &gt; Message from Benjamin C. Pierce</a> - Lots of links about CPS and continuations in Ocaml and others.</p> </li> </ul></div>camlCite:rentzschconcurrencycontinuationscpscvxpydocumentationelispemacsfunctional-programmingfunnyhaskellKernellanguageslinkslispmodelingocamloptimizationpackage-managerparallelismperformancepinboard-linksprofilingprogrammingprologpythonsmltoolshttp://michael-mccracken.net/2012/01/links-for-january-12th-through-january-18th/Thu, 19 Jan 2012 19:44:00 GMT