caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Gerd Stolpmann <info@gerd-stolpmann.de>
To: Peter Zotov <whitequark@whitequark.org>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] Ocaml programmers interested in human-level AI
Date: Sun, 11 Jan 2015 12:39:54 +0100	[thread overview]
Message-ID: <1420976394.5647.5.camel@e130.lan.sumadev.de> (raw)
In-Reply-To: <179a7ef93afed958daa2c024a5a1bb2f@whitequark.org>

[-- Attachment #1: Type: text/plain, Size: 1841 bytes --]

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
------------------------------------------------------------


[-- Attachment #2: This is a digitally signed message part --]
[-- Type: application/pgp-signature, Size: 473 bytes --]

  parent reply	other threads:[~2015-01-11 11:40 UTC|newest]

Thread overview: 13+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-01-10 16:29 Eray Ozkural
2015-01-10 18:13 ` Peter Zotov
2015-01-10 18:38   ` Eray Ozkural
2015-01-10 18:44     ` Kenneth Adam Miller
2015-01-10 18:57       ` [Caml-list] opam-installext (Was: Ocaml programmers interested in human-level AI) Anil Madhavapeddy
2015-01-10 19:04         ` Kenneth Adam Miller
2015-01-10 19:39       ` [Caml-list] Ocaml programmers interested in human-level AI Eray Ozkural
2015-01-10 23:33       ` Benjamin Greenman
2015-01-10 23:36         ` Kenneth Adam Miller
2015-01-12 20:28           ` Adrien Nader
2015-01-11 13:47     ` Eray Ozkural
2015-01-11 11:39   ` Gerd Stolpmann [this message]
2015-01-12 13:22     ` Ben Millwood

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=1420976394.5647.5.camel@e130.lan.sumadev.de \
    --to=info@gerd-stolpmann.de \
    --cc=caml-list@inria.fr \
    --cc=whitequark@whitequark.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).