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 6D0E67FB5D for ; Sun, 11 Jan 2015 12:40:22 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=212.227.126.131; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=212.227.126.131; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.kundenserver.de) identity=helo; client-ip=212.227.126.131; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@mout.kundenserver.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArEAAMVgslTU436Dm2dsb2JhbABbg1jGSgaFdQKBBkMBAQEBAREBAQEBAQYLCwkULoQNAQVVGAwQCw4KLlcGEwmIJwnJZAEBAQEBAQQBAQEBAR2PKAEBKSYHgi0MQIEwBYU2iT8BiFSGFwOLXoQRbgGBC4E3AQEB X-IPAS-Result: ArEAAMVgslTU436Dm2dsb2JhbABbg1jGSgaFdQKBBkMBAQEBAREBAQEBAQYLCwkULoQNAQVVGAwQCw4KLlcGEwmIJwnJZAEBAQEBAQQBAQEBAR2PKAEBKSYHgi0MQIEwBYU2iT8BiFSGFwOLXoQRbgGBC4E3AQEB X-IronPort-AV: E=Sophos;i="5.07,737,1413237600"; d="asc'?scan'208";a="116513502" Received: from mout.kundenserver.de ([212.227.126.131]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 11 Jan 2015 12:40:02 +0100 Received: from office1.lan.sumadev.de ([188.107.168.114]) by mrelayeu.kundenserver.de (mreue001) with ESMTPSA (Nemesis) id 0MVmFr-1YHckx2ylz-00Z3fP; Sun, 11 Jan 2015 12:40:00 +0100 Received: from [192.168.65.10] (unknown [192.168.65.10]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id C258CDC05D; Sun, 11 Jan 2015 12:39:59 +0100 (CET) Message-ID: <1420976394.5647.5.camel@e130.lan.sumadev.de> From: Gerd Stolpmann To: Peter Zotov Cc: caml-list@inria.fr Date: Sun, 11 Jan 2015 12:39:54 +0100 In-Reply-To: <179a7ef93afed958daa2c024a5a1bb2f@whitequark.org> References: <179a7ef93afed958daa2c024a5a1bb2f@whitequark.org> Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature"; boundary="=-7Efr+xl3PhCW40cYZYaf" X-Mailer: Evolution 3.10.4-0ubuntu2 Mime-Version: 1.0 X-Provags-ID: V03:K0:vCov9jsqVQwCUvw++Ss6jYa67IQww9f0TiEpYxyEMJg047I09pi Y145CWqXRpY05HxHSIi8YfFmfQBXCrV8ijtr2tm/SpTCQwxnQoMToOJLtq57CDUO8Rv2JD7 BT85lJCqh2ITjg8icnygfVK3QC66aLxUMJKpWSveI1IF0Q1DFXn02vogtKCuHbP4rWJtF1W YP9SK0SLHK9XaAfLkf1cw== X-UI-Out-Filterresults: notjunk:1; Subject: Re: [Caml-list] Ocaml programmers interested in human-level AI --=-7Efr+xl3PhCW40cYZYaf Content-Type: text/plain; charset="ISO-8859-15" Content-Transfer-Encoding: quoted-printable Am Samstag, den 10.01.2015, 21:13 +0300 schrieb Peter Zotov: > On 2015-01-10 19:29, Eray Ozkural wrote: > > Dear Ocaml list, > >=20 > > 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. >=20 > 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.=20 Gerd --=20 ------------------------------------------------------------ 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 ------------------------------------------------------------ --=-7Efr+xl3PhCW40cYZYaf Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQEcBAABAgAGBQJUsmEKAAoJEAaM4b9ZLB5T3BoH/2VGUOGHQ7BkQpiDIL2UYvkk Y3YPgNa83L+PhiVrMAlPe1+lvcJ9L7xdLZX4ZfOxfLtpzKgr2QgoIoqnyXrhhsj6 F0KQ22dxT7Y/iHlArskYuqgqTWEaMp5yJxbmeGpvFtU7QHnZ+j/IwBw5/pXzvHC/ JLW0Xvl0vIRUkOQASQT4wjOb8IRk8kKLoEaMsfQ0qswIGQgn4MLk9O4bOEBl0eFQ QAU22rTOQJZqjhTNGGGaKY8vddqZMU9uDo6PeJ6b5GrlJVTReMpOxSA+swljpLRQ AtRoASHvHOfzHbH4Cdjq9SThhoupYnO/5FVODSGrC1bf3QlXaCpZJsH2MCu4fqo= =d4wX -----END PGP SIGNATURE----- --=-7Efr+xl3PhCW40cYZYaf--