Hello
Here is the latest Caml Weekly News, for the week of June 30 to July 7, 2009.
Archive: http://caml.inria.fr/pub/ml-archives/caml-list/2009/06/e9078dae1a841f36a925ffc8c02a5b23.en.html
Frédéric Besson announced:L'équipe Inria Celtique recherche un programmeur OCaml (ingénieur jeune diplômé) pour développer des analyses statiques pour le langage Java. L'annonce est consultable à l'adresse suivante http://www.inria.fr/travailler/mrted/en/eng/details.html?id=PNGFK026203F3VBQB6G68LOE1&LOV5=4510&LOV2=4491&LG=EN&Resultsperpage=20&nPostingID=3501&nPostingTargetID=7707&option=52&sort=DESC&nDepartmentID=10 Mots-clés : compilation, vérification, analyse statique Langages : OCaml Éligibilité : ingénieur jeune diplômé (diplômé 2008 ou 2009) Contrat : un an (renouvelable une fois) Lieu : Rennes Date limite : 30 août 2009 Contact : frederic.besson@inria.fr
Archive: http://caml.inria.fr/pub/ml-archives/caml-list/2009/07/1baa5f5182013c4cde58eb104fe4268b.en.html
Adrien Nader said:A few days ago, on the #ocaml irc channel, it appeared the location of most ocaml users wasn't known and that some live very (very) close to each others without knowing it. A map of users would be a good thing for the community. For instance, it could help create local user groups or help chose the location for a meeting. Currently the only such map I know of is ohloh's[1]. It currently has about 30 people (23 users, 3 devs). The map is public and you can have a look at it (note that "contributors" are not shown on the same map as "users"). If you want to add yourself to the map, you'll need to register on ohloh.net[2], fill in your location in your account settings and finally click on the "I use this" button on the page for the ocaml project[3]. It is assumed most ocaml coders are French, let's see if that really holds. :) [1] https://www.ohloh.net/p/ocaml/map [2] https://www.ohloh.net/accounts/new [1] https://www.ohloh.net/p/ocaml
Archive: http://caml.inria.fr/pub/ml-archives/caml-list/2009/07/ee3eac2cb2555a4f5475737ba43046af.en.html
Satoshi Ogasawara announced:I'm please to announce a new release of Concurrent Cell version 2.0.0 which supports new variable 'Dvar'. This variable is a kind of Mvar that can hold dependency between variables, and resolve thease dependency automatically when the value of the variable is changed. This system is similar to Functional Reactive Programming style. the main signatures are: type 'a t type 'a eq = 'a -> 'a -> bool val make : ?name:string -> ?eq:'a eq -> ?event:'a Mbox.t -> 'a -> 'a t val depend : ?name:string -> ?eq:'b eq -> 'a t -> ('a -> 'b) -> 'b t val read : 'a t -> 'a Event.event val set : 'a t -> ('a option -> 'a) -> unit Event.event val filter : ?name:string -> ?eq:'b eq -> 'a t -> ('a -> 'b option) -> 'b t val connect : 'a t -> ('a -> 'b -> 'b) -> 'b t -> unit val disconnect : src:'a t -> dst:'b t -> unit val depend2 : ?name:string -> ?eq:'c eq -> 'a t -> 'b t -> ('a -> 'b -> 'c) -> 'c t
Archive: http://caml.inria.fr/pub/ml-archives/caml-list/2009/07/1380432b63d587d8195e3b66dd6ea553.en.html
Vincent Aravantinos announced:I am pleased to announce the first release of RegSTAB. RegSTAB is a SAT-solver able to deal with formula schemas: you can give it a scheme of formulas such as "/\i=1..n P_i -> P_i+1" (where n is a variable) and it will be able to answer you if *all the formulas of this form (i.e. for every value of n) are unsatisfiable*. i.e. it can treat at once an infinite set of propositional formulas. Link: http://forge.ocamlcore.org/projects/regstab/ Manual: manual RegSTAB is based on a recent paper: http://membres-liglab.imag.fr/aravantinos/Publis/tableaux2009/tab09.pdf
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/. RegSTAB first release: http://forge.ocamlcore.org/forum/forum.php?forum_id=395 Hash tables: separate chaining vs. double hashing: http://eigenclass.org/R2/writings/separate-chaining-vs-double-hashing Math typesetting with jsMath: http://eigenclass.org/R2/writings/ocsiblog-jsmath-support Three More for the Debian New Queue.: http://www.mega-nerd.com/erikd/Blog/CodeHacking/Debian/polyparse_dataenc_json.html Concurrent Cell now supports Dvar.: http://forge.ocamlcore.org/forum/forum.php?forum_id=394
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.