From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 5BC017EC41 for ; Mon, 22 Oct 2012 12:56:21 +0200 (CEST) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of david.teller@univ-orleans.fr) identity=pra; client-ip=194.167.30.94; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="david.teller@univ-orleans.fr"; x-sender="david.teller@univ-orleans.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of david.teller@univ-orleans.fr designates 194.167.30.94 as permitted sender) identity=mailfrom; client-ip=194.167.30.94; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="david.teller@univ-orleans.fr"; x-sender="david.teller@univ-orleans.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sucre.univ-orleans.fr) identity=helo; client-ip=194.167.30.94; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="david.teller@univ-orleans.fr"; x-sender="postmaster@sucre.univ-orleans.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArsCAPolhVDCpx5egWdsb2JhbABFwQwjAQEWJieCIAEBBWgQARALDgoJEwMPCQMCAQIBKxoGDQEHAQEQBodqBAe7EJJOA45ygSCGdpIT X-IronPort-AV: E=Sophos;i="4.80,629,1344204000"; d="asc'?scan'208";a="178316701" Received: from sucre.univ-orleans.fr ([194.167.30.94]) by mail1-smtp-roc.national.inria.fr with ESMTP; 22 Oct 2012 12:56:06 +0200 Received: from localhost (localhost [127.0.0.1]) by sucre.univ-orleans.fr (Postfix) with ESMTP id 65F0F94366; Mon, 22 Oct 2012 12:56:07 +0200 (CEST) Received: from sucre.univ-orleans.fr ([127.0.0.1]) by localhost (sucre.univ-orleans.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id SRFJ0EO2Yaj9; Mon, 22 Oct 2012 12:56:07 +0200 (CEST) Received: from smtps.univ-orleans.fr (smtps.univ-orleans.fr [194.167.30.152]) by sucre.univ-orleans.fr (Postfix) with ESMTP id 426A994356; Mon, 22 Oct 2012 12:56:07 +0200 (CEST) Received: from Niels.local (mozilla.vlan402.asr1.cdg3.gblx.net [208.49.33.218]) by smtps.univ-orleans.fr (Postfix) with ESMTP id 9D29136E60; Mon, 22 Oct 2012 12:56:07 +0200 (CEST) Message-ID: <50852644.6090000@univ-orleans.fr> Date: Mon, 22 Oct 2012 12:56:04 +0200 From: David Rajchenbach-Teller User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7; rv:16.0) Gecko/20121010 Thunderbird/16.0.1 MIME-Version: 1.0 To: Yaron Minsky CC: caml-list@inria.fr References: In-Reply-To: X-Enigmail-Version: 1.4.5 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="------------enig749C3630081B4C5D6172FAE0" X-Validation-by: david.teller@univ-orleans.fr Subject: Re: [Caml-list] OCaml Labs This is an OpenPGP/MIME signed message (RFC 2440 and 3156) --------------enig749C3630081B4C5D6172FAE0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable This is very good news. I believe that we are all looking forward all the promised OCaml Lab goodness in 2013 :) Cheers, David On 10/20/12 3:46 AM, Yaron Minsky wrote: > A thing that should be of interest to many on this list. We discussed > this already at the OCaml Users and Developers conference, but we're > now talking about it more widely: a new lab is being formed at > Cambridge University that is focused on improving the OCaml ecosystem. > Jane Street is the primary funder, and Anil Madhavapeddy is the > technical lead. >=20 > If you're interested in reading a bit more about it, both Anil and I > have posts about it: >=20 > - https://ocaml.janestreet.com/?q=3Dnode/109 > - http://anil.recoil.org/2012/10/19/announcing-ocaml-labs.html >=20 > We hope and expect this effort to add to the energy and excitement of > the OCaml community, and to contribute materially to the software > infrastructure we all depend on. >=20 > Cheers, > y >=20 --------------enig749C3630081B4C5D6172FAE0 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (Darwin) iQEcBAEBAgAGBQJQhSZIAAoJED+FkPgNe9W+vcsH/R+h2JJ34fmuL7oig+N4T5ZL BsbWW3VaI5goe9rjhjiBCacPYmJHq1rUFW97wR7GFp7tPBXEM1LYMbxNudmjgNfY gAe93Y7VOOhkhbNlCQa4eSeoqWuL4DCxbtYOBRRHdeISrHwbWGZ2lkNUNNjs8R6S lZB/xmhucbXzZHwN0G/f/CDUxCAFZSdFNrRXxy9i9T02cYtFyUGDWBRtZtzids/8 4etN9bFuRf7epia6+5aq2Uvum/7fZhHdY8Eo7nWRh1kW1qqm7HRzCFol/JmzNMYV b9O0uFJfOUbcvdh/ikAboYxMOvo1lOFW6BSY38/7UL2RdCuq7JIbyb65M5cIcig= =5KJM -----END PGP SIGNATURE----- --------------enig749C3630081B4C5D6172FAE0--