[cwn] Attn: Development Editor, Latest Caml Weekly News

Alan Schmitt alan.schmitt at polytechnique.org
Tue Jul 7 00:34:59 PDT 2009 

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

========================================================================
1) 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 at inria.fr

========================================================================
2) 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>

========================================================================
3) 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

========================================================================
4) 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>

========================================================================
5) 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
(alan.schmitt at polytechnique.org) and I'll mail it to you, or go take a  
look at
the archive (<http://alan.petitepomme.net/cwn/>) or the RSS feed of the
archives (<http://alan.petitepomme.net/cwn/cwn.rss>). If you also wish
to receive it every week by mail, you may subscribe online at
<http://lists.idyll.org/listinfo/caml-news-weekly/> .

========================================================================
-- 
Alan Schmitt <http://alan.petitepomme.net/>

The hacker: someone who figured things out and made something cool  
happen.
  .O.
  ..O
  OOO


-------------- next part --------------
A non-text attachment was scrubbed...
Name: PGP.sig
Type: application/pgp-signature
Size: 195 bytes
Desc: This is a digitally signed message part
Url : http://lists.idyll.org/pipermail/caml-news-weekly/attachments/20090707/d4d770ed/attachment.pgp

More information about the caml-news-weekly mailing list