From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id B80B380198 for ; Mon, 10 Jul 2017 23:32:41 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-it0-f44.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.214.44; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.214.44 as permitted sender) identity=mailfrom; client-ip=209.85.214.44; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-it0-f44.google.com) identity=helo; client-ip=209.85.214.44; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-it0-f44.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AHByIbh2bL4Y2WuJtsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?se0QI/ad9pjvdHbS+e9qxAeQG96KtLQc06L/iOPJYSQ4+5GPsXQPItRndiQuro?= =?us-ascii?q?EopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZv?= =?us-ascii?q?JuTyB4Xek9m72/q89pDXYQhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+?= =?us-ascii?q?VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfM?= =?us-ascii?q?QA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7S60/Vza/4KdxUBLmiC?= =?us-ascii?q?kJOT0k/m/JlsN9l75brA67qhBj34LYfIOYOfxjda3dZ9MaQm9BU95QWSNbGYy8?= =?us-ascii?q?dYoPAPQFPe1Fsofyu1sOogWkBQayHuPk1zhFhnDs0qIhyeQhEB/J3Ag6E9IVrH?= =?us-ascii?q?vUrMv6NL0MXuCv16TIwjDDYOlX2Tf58oTHbhchofSVUL92bMHfx04vFwbfgVWR?= =?us-ascii?q?r4zoJzWV2foQs2SB8eVvSP+vhmg6oA9yujii3tkghpXNi44PyV3J9T91zJgoKd?= =?us-ascii?q?C3UkJ2btGpHZ1NvC+ALYR2WNktQ2RwtSY61LIGvZm7cTAPyJs9xh7fb+WLc4mU?= =?us-ascii?q?4h7/TeqRLzh1iX1/dLKwgBay9kegyuniWcWuzFlKqS9FnsHNtnALyRPT9tCKRu?= =?us-ascii?q?Vh8kqlwzqC1ADe5vtaLUwpmqfXMZEsz7EompoWq0vDHyv2mEvsjK+Rc0Up4ueo?= =?us-ascii?q?5P78bbX8p5+TKYt0hhvlMqsymsywH/44PRYUX2WA9uS80afs/Uz9QLlQkvI2la?= =?us-ascii?q?zZvIjAJcsHvq65HxNV0oE75hmjFTim1dAYkWADLFJEYxKHk5PkO0rOIfD9Ffew?= =?us-ascii?q?mU6gkDZtx/DcP73uGI/BLnbZkOSpQbEo4EdZzEIu1t1F/NoAAbgEJLf3W1TtnN?= =?us-ascii?q?3eFB4wdQKulbXJEtJ4g6wXU3iOD6vRC6jSvEWF/Kp7LOCGfo4YvHDmIPgo/fP0?= =?us-ascii?q?pXA8kF4ZO6Ku2M1EOziDAv16LhDBMjLXidAbHDJSsw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DIAQC88WNZhizWVdFdAYQuAT6BFAepC?= =?us-ascii?q?4xlghEOIIVFAoMpB0EWAQEBAQEBAQEBAQESAQEBCAsLCCgvgjMigm0dARseAxI?= =?us-ascii?q?QDwImAiQBEQEFASIbig4BAxUQm0iDRT+MCoIEBQEcgwYFg2MKGScNVoNMAgYSe?= =?us-ascii?q?YIdg0yEUYFwgUSEfYJhBZ8egiORZ5Iik3gUH4EVJguBMDEhI14ahQUEgg8kNgE?= =?us-ascii?q?BiGIBAQE?= X-IPAS-Result: =?us-ascii?q?A0DIAQC88WNZhizWVdFdAYQuAT6BFAepC4xlghEOIIVFAoM?= =?us-ascii?q?pB0EWAQEBAQEBAQEBAQESAQEBCAsLCCgvgjMigm0dARseAxIQDwImAiQBEQEFA?= =?us-ascii?q?SIbig4BAxUQm0iDRT+MCoIEBQEcgwYFg2MKGScNVoNMAgYSeYIdg0yEUYFwgUS?= =?us-ascii?q?EfYJhBZ8egiORZ5Iik3gUH4EVJguBMDEhI14ahQUEgg8kNgEBiGIBAQE?= X-IronPort-AV: E=Sophos;i="5.40,342,1496095200"; d="scan'208";a="231134022" Received: from mail-it0-f44.google.com ([209.85.214.44]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 10 Jul 2017 23:32:40 +0200 Received: by mail-it0-f44.google.com with SMTP id m84so567267ita.0 for ; Mon, 10 Jul 2017 14:32:40 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=3c/fHpZTTs3o+vstgtHjBSuB8UwE1dflzg1SwMQfIFc=; b=o0F7hvgHNgxSCmFFvLMtVHHeuzLe8UZYgu/yaLmdqxLX5/jKSmHkFAuzqC36Nh6S9q goM+Nvfd21vXGec2jc0AL2YOinH7xj00k+3gT44HSGyLw6dhygMmPgno4yk+YRVs39Xj +otdBdnjw/Srjpi0MVBm6g2LZAfyFfSbML+p9CVYtFe/+x6C7hHsc6xZoO4OABKi5PfN IPo29ycwuR3AlKc27TAtm84MlNXYsBYsoHpUzjhX87oKVvnZhJbIfcexV1nvHt2JyBt0 +y63K80WD7e21mLknLSdIylAaoDtfjnxknLwZqEv81RaRRB65OWbzigfvbPIesCfmR++ 71gg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=3c/fHpZTTs3o+vstgtHjBSuB8UwE1dflzg1SwMQfIFc=; b=fN0qtPI8FDaZzh4RTHVmQgRfR3h73/6fs3ec+YwehrGAPwBnNp759uvMuVcSuL1k3Y 0/CxXE2sYc1e+rXYgw9S9+/1+Su63zysH/YHMqm09evGWPMwb0kkfQ2qjutiVK02y0W+ nKoAJt2y4LQFtsLPX8/vB+l5scC9HlnKC4gyv/iUtseZR73+rqohdI0MgJx2XS6X7JzY pOMoN66vKqKJ5GnZsREoAK1G2wZqsEVSlB/S7/Fk+B36kCo724Dfqa3WVlMpBYAlxmUD 8BMdgs0gJGRM9EqlW1fmsK34b2AS2x1G8dqt2+gS36xpJkLkUkFdpgwthV1aBrrLre9/ xybQ== X-Gm-Message-State: AIVw1115Kw5OuM4pI9gfOLXe+uanvs1U3gxGE8tVmixbhPz3AbO4kUbV s2sCTD6wuD7LfP26druILsPoI+c2WCW2 X-Received: by 10.107.149.10 with SMTP id x10mr5341152iod.71.1499722359187; Mon, 10 Jul 2017 14:32:39 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.36.132 with HTTP; Mon, 10 Jul 2017 14:31:58 -0700 (PDT) From: Gabriel Scherer Date: Mon, 10 Jul 2017 17:31:58 -0400 Message-ID: To: caml users Content-Type: text/plain; charset="UTF-8" Subject: [Caml-list] ML languages hacking session on July 13th in Pittsburgh, PA, USA Dear caml-list, We are happy to announce a hacking session for languages of the ML family in the evening of July 13th in Pittsburgh, PA, US. The event will take place at CMU, between 16:30 and 22:30. Access instructions can be found at: http://www.ccs.neu.edu/home/gasche/tmp/ml-languages-hacking-session-july-13-2017/announce.html This event, organized by Anton Bachin, Adrien Guatto, Ram Raghunathan, Gabriel Scherer and Jon Sterling, is open to all programmers in a ML-family language, advanced or beginners. Attendees will be encouraged and assisted in making a contribution to an open source project, including in particular the OCaml and MLton (SML) compiler implementations -- we will propose a list of tasks and project ideas, and try to help in providing technical advice, feedback and guidance for contribution. Coming with a project in mind is also welcome. There are other impactful contribution than code: documentation contributions are warmly welcome. If you were waiting for an opportunity to scratch an ML-y itch in a friendly place, there it is! Event implementation details are still being arranged, but we are not planning on having food at the event itself. We may go out in groups around dinner time, but feel free to eat beforehand or bring your own food. Apologies for the last-minute announcement, and happy hacking!