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.