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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 7C4707F84F for ; Wed, 26 Feb 2014 13:06:34 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of marco.canini@uclouvain.be) identity=pra; client-ip=130.104.5.67; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="marco.canini@uclouvain.be"; x-sender="marco.canini@uclouvain.be"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of marco.canini@uclouvain.be designates 130.104.5.67 as permitted sender) identity=mailfrom; client-ip=130.104.5.67; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="marco.canini@uclouvain.be"; x-sender="marco.canini@uclouvain.be"; 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@smtp5.sgsi.ucl.ac.be) identity=helo; client-ip=130.104.5.67; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="marco.canini@uclouvain.be"; x-sender="postmaster@smtp5.sgsi.ucl.ac.be"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnkBAAPYDVOCaAVDnGdsb2JhbABZhBjAc4EVHg4BAQEBAQgLCQkUKIIeCQEBBAFAAQE3AQ8LAwEHOyISAQUBHAaIBAicCIsWhFUBBZ0mEQaOVAeEN5g6kDsYKYRa X-IPAS-Result: AnkBAAPYDVOCaAVDnGdsb2JhbABZhBjAc4EVHg4BAQEBAQgLCQkUKIIeCQEBBAFAAQE3AQ8LAwEHOyISAQUBHAaIBAicCIsWhFUBBZ0mEQaOVAeEN5g6kDsYKYRa X-IronPort-AV: E=Sophos;i="4.97,547,1389740400"; d="scan'208";a="50586433" Received: from smtp.sgsi.ucl.ac.be (HELO smtp5.sgsi.ucl.ac.be) ([130.104.5.67]) by mail3-smtp-sop.national.inria.fr with ESMTP; 26 Feb 2014 13:06:33 +0100 Received: from mail-lb0-f176.google.com (mail-lb0-f176.google.com [209.85.217.176]) (using TLSv1 with cipher RC4-SHA (128/128 bits)) (No client certificate requested) (Authenticated sender: mcanini@smtp5.sgsi.ucl.ac.be) by smtp5.sgsi.ucl.ac.be (Postfix) with ESMTPSA id 5D25D1980A2 for ; Wed, 26 Feb 2014 13:06:29 +0100 (CET) X-DKIM: Sendmail DKIM Filter v2.8.3 smtp5.sgsi.ucl.ac.be 5D25D1980A2 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=uclouvain.be; s=selucl; t=1393416389; bh=/yqhU1OjCZUrsH87tFT5nR5kdDZDfSYvC8MgpoME9H8=; h=MIME-Version:In-Reply-To:References:Date:Message-ID:Subject:From: To:Cc:Content-Type; b=db0LUYTYoOrXp3yX6aWnqrnWeE5UWQIf7b4QCgszTht08JVRgNBXA8SPW4TByPOoB dBgxKMMJ2MhvWiQlsWbmsRUN2cCpJdgOOvIVTkfWAMHYwRhABgaSjNFpJJMyyBsmvG WB0MhUcSlBHuIBJRRFRM9uY8X8PaicrzFpUmAV/A= Received: by mail-lb0-f176.google.com with SMTP id 10so543438lbg.21 for ; Wed, 26 Feb 2014 04:06:28 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to:cc:content-type; bh=A5V4nhwGteJG64OyVmS9/3j+MTptCmo7v9QEOTAE/7o=; b=hlVr+o+GrDXnv4EtQtZT2KiIUteO4/M3Tc7k/NRMX+LXv5dhRskF9QlLQx+QoZtZb+ uP3oeJpTJ/bDDI47nX/wJTU+13e6dqgLRObZ3BwzUhZKe6qwXwkf+PIgxOm9x46Jp85y Xm2Xultj1R68WZmDFpFEw1M3CBXAl9v4+dLtwl90GVIr0GT3Oe4ySUF9Sv0y3Gp0wu3n v9NQxuhPjKAmmz2GTWuungMRA7pMSFCjH0Y1EOLHAFVdgktwJWZZIo1iK9z5YTvb1ino uLg8yaThohuTZbhYXQrURH+F++hMPGKSym06bGjNGX1Yr5DOqh2kKlyc/ZTJzz96n+wz kZNw== X-Gm-Message-State: ALoCoQmGgNMAyo8gKNVo84L4RNoc0eyrHEkRpbKwFoKMHy+nUzIdiXUMv1y+ExCNtfTJzLXG4z9H MIME-Version: 1.0 X-Received: by 10.152.205.11 with SMTP id lc11mr2209194lac.29.1393416388753; Wed, 26 Feb 2014 04:06:28 -0800 (PST) Received: by 10.114.170.193 with HTTP; Wed, 26 Feb 2014 04:06:28 -0800 (PST) In-Reply-To: References: Date: Wed, 26 Feb 2014 13:06:28 +0100 Message-ID: From: Marco Canini To: Anil Madhavapeddy Cc: Yotam Barnoy , Ocaml Mailing List , Nate Foster Content-Type: multipart/alternative; boundary=001a1133a818e043e904f34e083c X-Virus-Scanned: clamav-milter 0.97.7-exp at smtp-5.sipr-dc.ucl.ac.be X-Virus-Status: Clean X-Sgsi-Spamcheck: SASL authenticated, X-SGSI-MailScanner-ID: 5D25D1980A2.AF4BE X-SGSI-MailScanner: Found to be clean X-SGSI-From: marco.canini@uclouvain.be X-SGSI-Spam-Status: No X-Validation-by: marco.canini@uclouvain.be Subject: Re: [Caml-list] Google summer of code --001a1133a818e043e904f34e083c Content-Type: text/plain; charset=ISO-8859-1 > > I'd highly recommend any students who have a spare summer coming up to > apply. Bonus points for any brave souls that propose combining Frenetic > and MirageOS into an OCaml monster that will take over the Internet :-) > > LOL In any case, that'd be an interesting project to combine Frenetic with MirageOS. -Marco --001a1133a818e043e904f34e083c Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
I'd highly recommend any students who have a= spare summer coming up to
apply. =A0Bonus points for any brave souls that propose combining Frenetic<= br> and MirageOS into an OCaml monster that will take over the Internet :-)


LOL

In any ca= se, that'd be an interesting project to combine Frenetic with MirageOS.=

-Marco
--001a1133a818e043e904f34e083c--