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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id D6E4E7EC41 for ; Sat, 20 Oct 2012 03:46:46 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of yminsky@janestreet.com) identity=pra; client-ip=38.105.200.115; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="yminsky@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of yminsky@janestreet.com designates 38.105.200.115 as permitted sender) identity=mailfrom; client-ip=38.105.200.115; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="yminsky@janestreet.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@nyc-dmz-mxout2.janestreet.com) identity=helo; client-ip=38.105.200.115; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="postmaster@nyc-dmz-mxout2.janestreet.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aq0BAL8BglAmachznGdsb2JhbABFhU27OCsBAQEBAQgUCTuCOQIsAQEmEiVdEgEFAQZDDodiAwidTwkDimuEMwEFjw0GjyaDI5VygReNQBYphC2BfA X-IronPort-AV: E=Sophos;i="4.80,618,1344204000"; d="scan'208";a="159718744" Received: from mx2.janestreet.com (HELO nyc-dmz-mxout2.janestreet.com) ([38.105.200.115]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 20 Oct 2012 03:46:45 +0200 Received: from nyc-qsv-mail1.delacy.com ([172.25.22.57]) by nyc-dmz-mxout2.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1TPO9E-00011Y-E6 for caml-list@inria.fr; Fri, 19 Oct 2012 21:46:44 -0400 Received: from nyc-dmz-mxgoog1.delacy.com ([172.25.224.109] helo=mxgoog1.janestreet.com) by nyc-qsv-mail1.delacy.com with esmtps (TLSv1:AES256-SHA:256) (Exim 4.76) (envelope-from ) id 1TPO9E-0005gn-Ci for caml-list@inria.fr; Fri, 19 Oct 2012 21:46:44 -0400 Received: from mail-vc0-f198.google.com ([209.85.220.198]) by mxgoog1.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1TPO9E-0007sO-Aq for caml-list@inria.fr; Fri, 19 Oct 2012 21:46:44 -0400 Received: by mail-vc0-f198.google.com with SMTP id d16so2236481vcd.9 for ; Fri, 19 Oct 2012 18:46:44 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:x-originating-ip:date:message-id:subject:from:to :content-type; bh=ssQg5D+uaSuVxpLyndxUkKQxi5yuumpOlaWLN2DORkI=; b=KCDurCPIxhv+N7r9H0kD0ONdAvklUtYhlhIvjfN1fgkOUJvrS/1TnsUELNlarYX2Jc kDGZStI2ITgLcYrNyTrGKbg3TPmzXoHb97mgfx4w0yOB9VsstQ4hh5rpr4WdS9eB8zf8 E7kOXndEcIwd/YkyzFgyx8wm9NIrrRCekgLas= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20120113; h=mime-version:x-originating-ip:date:message-id:subject:from:to :content-type:x-gm-message-state; bh=ssQg5D+uaSuVxpLyndxUkKQxi5yuumpOlaWLN2DORkI=; b=GWlNjsWBOC1Hy4JGkhrIddl/36HvXH/oBzLjm9ilZbRFPFJBGsRgnxtM2rSZ8/VifK ucxwuQUqIwxKZIOgKQz4sIiPXSFEH4Qjdck/bhMwy8kUi4eLzV9an2H7vtE1+Guj303x reHL/juoKwlvwENZnfx1KIdUaiUFukrSmkltQEr0B6787pV0FFWJDR02KdBVWnEYoZ5n Hi3swqtBgsShRV2pWcFFYhNyyGo8rNTPaovQUsjJPXSrlXv/K38SA+wyLmPfdT4Gz0tv YX6OzbieSvVjAxQEWO2zCTQwmgUpBoc+GYaFdPxCFNw+LvKZSdJUYKQn3sR1Swyy6SiK cjxA== Received: by 10.220.150.145 with SMTP id y17mr3983746vcv.11.1350697604162; Fri, 19 Oct 2012 18:46:44 -0700 (PDT) MIME-Version: 1.0 Received: by 10.220.150.145 with SMTP id y17mr3983735vcv.11.1350697603849; Fri, 19 Oct 2012 18:46:43 -0700 (PDT) Received: by 10.58.203.225 with HTTP; Fri, 19 Oct 2012 18:46:43 -0700 (PDT) X-Originating-IP: [72.225.238.212] Date: Fri, 19 Oct 2012 21:46:43 -0400 Message-ID: From: Yaron Minsky To: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 X-Gm-Message-State: ALoCoQmO2PJ9iJalIyGcLkqy4QtmECUFMl9QGcWvJqWCeHP2A4khmtDQ5XL2Im9rikwU4nEOSMwyJv0Vc0Tc5PMYPWu5+bOkn1A/Kp0eQ3xlIGp9OcPAb8K9cznWgzjnTZISDrfjh7YywV+WngQxSaSplgifWheDtw== Subject: [Caml-list] OCaml Labs 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. If you're interested in reading a bit more about it, both Anil and I have posts about it: - https://ocaml.janestreet.com/?q=node/109 - http://anil.recoil.org/2012/10/19/announcing-ocaml-labs.html 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. Cheers, y