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 DA9D47FBCE for ; Mon, 12 Jan 2015 14:22:44 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of bmillwood@janestreet.com) identity=pra; client-ip=38.105.200.112; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="bmillwood@janestreet.com"; x-sender="bmillwood@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of bmillwood@janestreet.com designates 38.105.200.112 as permitted sender) identity=mailfrom; client-ip=38.105.200.112; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="bmillwood@janestreet.com"; x-sender="bmillwood@janestreet.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@mxout1.mail.janestreet.com) identity=helo; client-ip=38.105.200.112; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="bmillwood@janestreet.com"; x-sender="postmaster@mxout1.mail.janestreet.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArgAAJrJs1QmachwnGdsb2JhbABbg1hcgwHCeIV1AoEJB0MBAQEBAREBAQEBAQYWCUKEDAEBAQMBEhEdAQETGAwBBAsJAgQHAwoqAgIiEgEFARwGEwkZiAIIAwqbbpBNPjGKPnCEYgEFjkYBAQEBAQEBAwEBAQEBAQEBARMGCo8eAQEpJgeCaIFBhTuQU4FBhhqKFBIjgRWEEG8BgQuBNwEBAQ X-IPAS-Result: ArgAAJrJs1QmachwnGdsb2JhbABbg1hcgwHCeIV1AoEJB0MBAQEBAREBAQEBAQYWCUKEDAEBAQMBEhEdAQETGAwBBAsJAgQHAwoqAgIiEgEFARwGEwkZiAIIAwqbbpBNPjGKPnCEYgEFjkYBAQEBAQEBAwEBAQEBAQEBARMGCo8eAQEpJgeCaIFBhTuQU4FBhhqKFBIjgRWEEG8BgQuBNwEBAQ X-IronPort-AV: E=Sophos;i="5.07,744,1413237600"; d="scan'208";a="96107237" Received: from mxout1.mail.janestreet.com ([38.105.200.112]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 12 Jan 2015 14:22:43 +0100 Received: from [172.27.56.106] (helo=tot-qpr-mailcore2) by mxout1.mail.janestreet.com with smtp (Exim 4.82) (envelope-from ) id 1YAex7-0001EG-8V for caml-list@inria.fr; Mon, 12 Jan 2015 08:22:41 -0500 X-JS-Flow: external Received: by tot-qpr-mailcore2 with JS-mailcore (0.1) (envelope-from ) id BUs8qh-AAACez-H0; 2015-01-12 08:22:41.250782-05:00 Received: from mail-qa0-f44.google.com ([209.85.216.44]) by mxgoog1.mail.janestreet.com with esmtps (TLSv1:RC4-SHA:128) (Exim 4.72) (envelope-from ) id 1YAex7-0001p2-2f for caml-list@inria.fr; Mon, 12 Jan 2015 08:22:41 -0500 Received: by mail-qa0-f44.google.com with SMTP id w8so7539220qac.3 for ; Mon, 12 Jan 2015 05:22:40 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=peRdB98KAUCvb7g7MNMEACrudtxYKRvtZNJvSK3wHUw=; b=1fT2ym1FuYZgiVqfNvsOJM9TxbIyx2skBptfLGr3jgbHh/ScdKmy1J6yolAfr/QuDV d+pVkCt99frCg6htguqjbmRmeeeqVFJknT3VH6q0iubIRjfZO7VkL+RfMq1xirEVrFh9 kGx1MpFtE9mKko5Frmw2JcKiXu/vURb8gu9PY= 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=peRdB98KAUCvb7g7MNMEACrudtxYKRvtZNJvSK3wHUw=; b=CjUJeP5la5URP7MFVhtxLoY/d+W5udNVektD75q37BPIaoR5ZbxHDYWJNS8Z+7Ll+k RAnO3LLBt1jqaMHW32IzpX3W+Ft0lAmJBNu4JT+8YlKfUHm7VRwQ7lK87hq0cEv+y0j3 TiUOvWtq+i+Kym4UrcGcm+gWb5vEp72JZGP6SrF1g2lAXNgxfEfrWIdZcWeWRjjfVzTV g5Y4J07DZMYRUO42o07jkp8eoxd4MkZhmM5D8+VWmZBQIaqP6qcHqei/OEx10psh3C9u 1XAx4+l/CXHpE3xv9RnSwysn9noTG4D0jPBhryFeIA5LI0Muv4lcZdI7OOQpUxxohm9d xKGA== X-Gm-Message-State: ALoCoQlpgFrMx9Nv1wlSHRuyA0BTmKIfQjp47hX/pB6Oi9i9uidWQmH080kNCW8l9up+39+Q49F/ZjQj20mKg+Iqx+AGW2mbr9CRaoX9/6hw2s1VsxRchZLunO/o1j0dr8wmdbFI8z8i X-Received: by 10.224.131.70 with SMTP id w6mr40129404qas.78.1421068960808; Mon, 12 Jan 2015 05:22:40 -0800 (PST) MIME-Version: 1.0 X-Received: by 10.224.131.70 with SMTP id w6mr40129377qas.78.1421068960641; Mon, 12 Jan 2015 05:22:40 -0800 (PST) Received: by 10.140.19.209 with HTTP; Mon, 12 Jan 2015 05:22:40 -0800 (PST) In-Reply-To: <1420976394.5647.5.camel@e130.lan.sumadev.de> References: <179a7ef93afed958daa2c024a5a1bb2f@whitequark.org> <1420976394.5647.5.camel@e130.lan.sumadev.de> Date: Mon, 12 Jan 2015 13:22:40 +0000 Message-ID: From:Ben Millwood To:Gerd Stolpmann Cc:Peter Zotov , caml users Content-Type: multipart/alternative; boundary=001a11c2a2909a01f7050c74662a X-JS-Processed-by: mailcore Subject: Re: [Caml-list] Ocaml programmers interested in human-level AI --001a11c2a2909a01f7050c74662a Content-Type: text/plain; charset=UTF-8 Let's not turn this into a (nother) thread about build systems. On 11 January 2015 at 11:39, Gerd Stolpmann wrote: > Am Samstag, den 10.01.2015, 21:13 +0300 schrieb Peter Zotov: > > On 2015-01-10 19:29, Eray Ozkural wrote: > > > Dear Ocaml list, > > > > > > I would be very pleased if the members who have a lasting interest in > > > the subject of human-level AI would network with me. We have a startup > > > working on that subject. Our code base is mainly in ocaml, and our > > > team might need some extra programmers in the near future. Although > > > this is not a formal job advertisement (yet), those who would like to > > > get in touch may just send me a mail for meeting and briefly introduce > > > themselves. I would very much welcome such personal networking and > > > getting to know fellow functional programming hackers who are also > > > interested in advancing the state-of-the-art in machine learning. > > > > Do you think that once implemented, such an AI would be able > > to implement a decent build system for OCaml? > > I think it would be a very worthwhile goal. > > FYI, I'm currently hacking on the performance problems of omake for very > large builds (sponsored by Lexifi), and I'm making progress. My test > project with 4096 modules is now built in 7 minutes instead of 24 > (single core). It's a fairly interesting exercise to view the build > system from the perspective of a performance engineer, e.g. I'm > currently redesigning the target cache that is backing the > interpretation of the "ocamldep -modules" output to quickly find the > files corresponding to the modules. > > Gerd > -- > ------------------------------------------------------------ > Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de > My OCaml site: http://www.camlcity.org > Contact details: http://www.camlcity.org/contact.html > Company homepage: http://www.gerd-stolpmann.de > ------------------------------------------------------------ > > --001a11c2a2909a01f7050c74662a Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Let's not turn this into a (nother) thread about build= systems.

On 11 January 2015 at 11:39, Gerd Stolpmann <info@gerd-stolpmann.de= > wrote:
Am Samstag, den 10= .01.2015, 21:13 +0300 schrieb Peter Zotov:
> On 2015-01-10 19:29, Eray Ozkural wrote:
> > Dear Ocaml list,
> >
> > I would be very pleased if the members who have a lasting interes= t in
> > the subject of human-level AI would network with me. We have a st= artup
> > working on that subject. Our code base is mainly in ocaml, and ou= r
> > team might need some extra programmers in the near future. Althou= gh
> > this is not a formal job advertisement (yet), those who would lik= e to
> > get in touch may just send me a mail for meeting and briefly intr= oduce
> > themselves. I would very much welcome such personal networking an= d
> > getting to know fellow functional programming hackers who are als= o
> > interested in advancing the state-of-the-art in machine learning.=
>
> Do you think that once implemented, such an AI would be able
> to implement a decent build system for OCaml?
> I think it would be a very worthwhile goal.

FYI, I'm currently hacking on the performance problems of omake = for very
large builds (sponsored by Lexifi), and I'm making progress. My test
project with 4096 modules is now built in 7 minutes instead of 24
(single core). It's a fairly interesting exercise to view the build
system from the perspective of a performance engineer, e.g. I'm
currently redesigning the target cache that is backing the
interpretation of the "ocamldep -modules" output to quickly find = the
files corresponding to the modules.

Gerd
--
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany=C2=A0 =C2=A0 gerd@gerd-stolpmann.de
My OCaml site:=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 http://www.camlcity.org
Contact details:=C2=A0 =C2=A0 =C2=A0 =C2=A0 http://www.camlcity.org/contact.html
Company homepage:=C2=A0 =C2=A0 =C2=A0 =C2=A0http://www.gerd-stolpmann.de
------------------------------------------------------------


--001a11c2a2909a01f7050c74662a--