Here is the latest Caml Weekly News, for the week of November 22 to 29, 2011.
Archive: https://sympa-roc.inria.fr/wws/arc/caml-list/2011-11/msg00122.htmlAbdallah Saffidine asked and Ashish Agarwal replied:
> I am looking for a library implementing Game Theory algorithms. I am > specifically interested in solving zero-sum twpo-player normal form > games (that is, finding the value of Nash equilibria in matrix > games). In this setting, we can use linear programming to find the > strategies in time polynomial in the size of the matrix. > > Have you seeing any ocaml library for game theory? or if I need to > implement it myself, which linear programming library would you > recommend? (If there is any other than ocaml-gplk which comes first in > google, that is) We did not write any bindings directly to linear programming libraries, but do have an AST and an embedded DSL for writing LPs in OCaml along with some code generation to output in AMPL format. Paper and code are available here: http://ashishagarwal.org/2010/01/18/automating-mp-transformations/
Archive: https://sympa-roc.inria.fr/wws/arc/caml-list/2011-11/msg00129.htmlContinuing this old thread, Jacques Garrigue announced:
The new branch has now been merged in trunk, all ready for the next version of OCaml. http://caml.inria.fr/cgi-bin/viewcvs.cgi/ocaml/trunk Big thanks to Jeremy Yallop for finding many bugs. But you still have your chance to find more :-)
Archive: https://sympa-roc.inria.fr/wws/arc/caml-list/2011-11/msg00142.htmlGerd Stolpmann announced:
I've just released Plasma-0.5.1, fixing a possible lock-up. General information about Plasma: Plasma consists now of three parts, namely PlasmaFS, PlasmaKV, and Plasma Map/Reduce: * PlasmaFS is a distributed replicating filesystem. Unlike other such filesystems, it is transactional and exhibits transactions to the user. Also, it implements almost all of what is known as POSIX semantics, and it is mountable. * PlasmaKV is a key/value database on top of PlasmaFS. It is designed for ultra-high read workloads, and offers interesting properties borrowed from PlasmaFS (e.g. replication and ACID transactions). * Plasma Map/reduce implements a variant of the popular data processing scheme. All pieces of software are bundled together in one download. The project page with further links is http://projects.camlcity.org/projects/plasma.html There is now also a homepage at http://plasma.camlcity.org THIS IS NOW A BETA RELEASE! I'm searching for testers. Whoever has access to a cluster please check Plasma out! Plasma is installable via GODI for Ocaml 3.12. For discussions on specifics of Plasma there is a separate mailing list: https://godirepo.camlcity.org/mailman/listinfo/plasma-listGoswin von Brederlow asked and Gerd Stolpmann replied:
> Any plans to support fuse so the filesystem can be mounted locally? You can already do this via NFS (V3). This is only a mild additional overhead, and the Linux NFS client supports bigger blocksizes than fuse (1M vs. 128K). Fuse is on my list but low priority for now.
Thanks to Alp Mestan, we now include in the Caml Weekly News the links to the recent posts from the ocamlcore planet blog at http://planet.ocamlcore.org/. ocamlbuild stubs and dynamic libraries: https://mancoosi.org/~abate/ocamlbuild-stubs-and-dynamic-libraries CamlDBM: binding to NDBM/GDBM databases: https://forge.ocamlcore.org/projects/camldbm/ OCamlnat 0.1.0: http://caml.inria.fr/cgi-bin/hump.cgi?contrib=793
If you happen to miss a CWN, you can send me a message and I'll mail it to you, or go take a look at the archive or the RSS feed of the archives.
If you also wish to receive it every week by mail, you may subscribe online.