Caml Weekly News Previous week Up Next week

Hello

Here is the latest Caml Weekly News, for the week of June 30 to July 7, 2009.

  1. Ingénieur Caml jeune diplômé
  2. OCaml users and developpers map
  3. Concurrent Cell Version 2.0.0
  4. RegSTAB released
  5. Other Caml News

Ingénieur Caml jeune diplômé

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
      

OCaml users and developpers map

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
      

Concurrent Cell Version 2.0.0

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
      

RegSTAB released

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
      

Other Caml News

From the ocamlcore planet blog:
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
      

Old cwn

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.


Alan Schmitt