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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 149537F6CB for ; Tue, 10 Feb 2015 13:36:53 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of jon@ffconsultancy.com) identity=pra; client-ip=212.159.14.17; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jon@ffconsultancy.com"; x-sender="jon@ffconsultancy.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of jon@ffconsultancy.com) identity=mailfrom; client-ip=212.159.14.17; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jon@ffconsultancy.com"; x-sender="jon@ffconsultancy.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@avasout02.plus.net) identity=helo; client-ip=212.159.14.17; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jon@ffconsultancy.com"; x-sender="postmaster@avasout02.plus.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BPAQDe+tlUnBEOn9RcgkOBFVqDAsAHAQmFcQKBH0MBAQEBAQEQAQEBAQEGDQkJFC6EDAEBAQQIAhkKQRgDAgkRBAEBKAMCAhkIGwoJCAIEEwsFBIgFAxUJtzWGU4pBDYVgAQEBAQEBBAEBAQEBAQEBGo1NgUJbCQoBgi07EYExBY8gVYJ8hBeCXjaCTYhYhgOEEG+CQgEBAQ X-IPAS-Result: A0BPAQDe+tlUnBEOn9RcgkOBFVqDAsAHAQmFcQKBH0MBAQEBAQEQAQEBAQEGDQkJFC6EDAEBAQQIAhkKQRgDAgkRBAEBKAMCAhkIGwoJCAIEEwsFBIgFAxUJtzWGU4pBDYVgAQEBAQEBBAEBAQEBAQEBGo1NgUJbCQoBgi07EYExBY8gVYJ8hBeCXjaCTYhYhgOEEG+CQgEBAQ X-IronPort-AV: E=Sophos;i="5.09,550,1418079600"; d="scan'208,217";a="121104884" Received: from avasout02.plus.net ([212.159.14.17]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 10 Feb 2015 13:36:52 +0100 Received: from XPS ([84.93.161.150]) by avasout02 with smtp id qcco1p0043EzoD801ccqm0; Tue, 10 Feb 2015 12:36:50 +0000 X-CM-Score: 0.00 X-CNFS-Analysis: v=2.1 cv=TtNohVnh c=1 sm=1 tr=0 a=yYCxfQBXUkyq/ppN8flYgg==:117 a=yYCxfQBXUkyq/ppN8flYgg==:17 a=0Bzu9jTXAAAA:8 a=r2vSxAw-AAAA:8 a=DAwyPP_o2Byb1YXLmDAA:9 a=Zr7miEi8wWIA:10 a=cKsnjEOsciEA:10 a=2oeSqxxVzlsA:10 a=pGLkceISAAAA:8 a=YG86fJyiAAAA:8 a=NEAV23lmAAAA:8 a=zakTszGoXDnxIXpI75kA:9 a=QEXdDO2ut3YA:10 a=rJk57Y98B0kA:10 a=yMhMjlubAAAA:8 a=SSmOFEACAAAA:8 a=1f7dvArDq2W76orP8eUA:9 a=P-KSG20Y5WHfbMCx:21 a=gKO2Hq4RSVkA:10 a=UiCQ7L4-1S4A:10 a=hTZeC7Yk6K0A:10 a=frz4AuCg-hUA:10 X-AUTH: jdh302@:2500 Reply-To: From: "Jon Harrop" To: "'Ocaml Mailing List'" References: In-Reply-To: Date: Tue, 10 Feb 2015 12:36:51 -0000 Organization: Flying Frog Consultancy Ltd. Message-ID: <016901d0452e$3fdf8610$bf9e9230$@ffconsultancy.com> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_016A_01D0452E.3FE72730" X-Mailer: Microsoft Outlook 14.0 Thread-Index: AQGxzXFVBiEONs1uHECg2JObEb3X8wFp2R64ApSBVJ+dBsbwUA== Content-Language: en-gb Subject: RE: [Caml-list] GSoC preparedness This is a multipart message in MIME format. ------=_NextPart_000_016A_01D0452E.3FE72730 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Couple of ideas: =20 =C2=B7 Android support for OCaml. =C2=B7 Replace the backend of GLSurf (which currently generates C cod= e and compiles it with GCC) with a generic library that uses LLVM for run-t= ime compilation of generated code. =20 From: caml-list-request@inria.fr [mailto:caml-list-request@inria.fr] On Beh= alf Of Yotam Barnoy Sent: 06 February 2015 15:52 To: Ashish Agarwal Cc: Ocaml Mailing List Subject: Re: [Caml-list] GSoC preparedness =20 I believe the way it works (though I could be wrong) is that an open-source= organization that signs up is supposed to have projects that concerns its = codebase or related components. That means either the toolchain or some rel= ated tool like a debugger or perhaps something like Merlin. Perhaps it coul= d even extend to a library that can be shown to be extremely useful to the = community -- something like Lwt or Batteries. =20 It would be harder to make the case for something that's purely an applicat= ion on top of OCaml, though I do believe that is possible once an organizat= ion is more established with GSoC, for example Xen getting Mirage into GSoC= -- Anil would probably know more about that kind of thing. =20 Again, I could be wrong about this, so if anyone has better information, pl= ease correct me. =20 On Fri, Feb 6, 2015 at 10:42 AM, Ashish Agarwal wro= te: What you've written implies that all projects should regard the OCaml compi= ler itself. Is that the intention? Or could this support projects using the= OCaml language for other purposes? What other purposes? General tools of u= se to the OCaml community, or just anything that happens to be implemented = in OCaml. =20 Thanks for providing a place to collect these ideas. =20 =20 On Fri, Feb 6, 2015 at 10:35 AM, Yotam Barnoy wrote: Hey everyone =20 Another year has gone by, and Google Summer of Code is upon us again. Unfor= tunately, it doesn't seem like we're ready to participate this year either = (sign up dates for mentoring organizations are Feb 9th to the 20th). After = seeing some comments on reddit, I have taken the liberty of establishing 2 = pages on the ocaml.org wiki: =20 - GSoC ideas (https://github.com/ocaml/ocaml.org/wiki/GSoC-ideas): this is = a list of ideas for projects that students could do. It needs to be filled = up and then maintained, so that by next year at least, we actually have som= ething to show google. =20 - GSoC Application (https://github.com/ocaml/ocaml.org/wiki/GSoC-applicatio= n): a hastily filled out application covering the questions google expects = answered. This should also be maintained so that it's pretty much ready to = go. =20 Please fill out these pages as much as you can -- particularly the ideas pa= ge. I haven't listed any project ideas myself, but I tried to write some gu= idelines for the kinds of things that could be used as projects. =20 -Yotam =20 =20 ------=_NextPart_000_016A_01D0452E.3FE72730 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

Couple of= ideas:

 <= /span>

=C2=B7       <= /span>Android support for OCaml.<= /span>

=C2=B7       <= /span>Replace the backend of GLSurf (which c= urrently generates C code and compiles it with GCC) with a generic library = that uses LLVM for run-time compilation of generated code.

 

From: caml-list-request@inria.fr [mailto:cam= l-list-request@inria.fr] On Behalf Of Yotam Barnoy
Sent: 0= 6 February 2015 15:52
To: Ashish Agarwal
Cc: Ocaml Mail= ing List
Subject: Re: [Caml-list] GSoC preparedness

 

I believe the way it works (though I could be wrong) is that an open-sourc= e organization that signs up is supposed to have projects that concerns its= codebase or related components. That means either the toolchain or some re= lated tool like a debugger or perhaps something like Merlin. Perhaps it cou= ld even extend to a library that can be shown to be extremely useful to the= community -- something like Lwt or Batteries.

 

It would = be harder to make the case for something that's purely an application on to= p of OCaml, though I do believe that is possible once an organization is mo= re established with GSoC, for example Xen getting Mirage into GSoC -- Anil = would probably know more about that kind of thing.

 

= Again, I could be wrong about this, so if anyone has better information, pl= ease correct me.

&= nbsp;

On Fri, Feb 6, 2015 at 10:42 AM, A= shish Agarwal <agarwal1975@gmail.com> wrote:

What you've written implies that all projects should regard the OCaml c= ompiler itself. Is that the intention? Or could this support projects using= the OCaml language for other purposes? What other purposes? General tools = of use to the OCaml community, or just anything that happens to be implemen= ted in OCaml.

 

=

Thanks for providing a place to collect the= se ideas.

 

 

On Fri, Feb 6, 2015 at 10:35 AM, Yotam Barnoy <yotambarnoy@gmail.c= om> wrote:

Hey everyone=

 

Another year has gone by, and Google Summer of Code is upon u= s again. Unfortunately, it doesn't seem like we're ready to participate thi= s year either (sign up dates for mentoring organizations are Feb 9th to the= 20th). After seeing some comments on reddit, I have taken the liberty of e= stablishing 2 pages on the o= caml.org wiki:

 = ;

- GSoC ideas (https://gith= ub.com/ocaml/ocaml.org/wiki/GSoC-ideas): this is a list of ideas for pr= ojects that students could do. It needs to be filled up and then maintained= , so that by next year at least, we actually have something to show google.=

 

<= div>

- GSoC Application (https://github.com= /ocaml/ocaml.org/wiki/GSoC-application): a hastily filled out applicati= on covering the questions google expects answered. This should also be main= tained so that it's pretty much ready to go.

 

Please= fill out these pages as much as you can -- particularly the ideas page. I = haven't listed any project ideas myself, but I tried to write some guidelin= es for the kinds of things that could be used as projects.

 

= -Yotam

&nb= sp;

 =

= ------=_NextPart_000_016A_01D0452E.3FE72730--