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 928FF7FBC5 for ; Sat, 10 Jan 2015 19:44:43 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of kennethadammiller@gmail.com) identity=pra; client-ip=209.85.214.174; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="kennethadammiller@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of kennethadammiller@gmail.com designates 209.85.214.174 as permitted sender) identity=mailfrom; client-ip=209.85.214.174; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="kennethadammiller@gmail.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@mail-ob0-f174.google.com) identity=helo; client-ip=209.85.214.174; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="postmaster@mail-ob0-f174.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AggBALhysVTRVdaum2dsb2JhbABbg1hYBIMBszmNYoFphXECgQIHQwEBAQEBEQEBAQEBBgsLCRQuhAwBAQEDARIRHQEbEQ0DAQsGBQsNKgICIQEBEQEFAQoSBhMSCQeHdQEDCQgNqgY+MYsugWuCd4oHChknAwpUgwYBCwEZAQUOigGDQIFZAQFWgmiBQQWEOwaFI4gbhASBRIEPMIpXgieBcBIjgQwJhC4gMYEMgTcBAQE X-IPAS-Result: AggBALhysVTRVdaum2dsb2JhbABbg1hYBIMBszmNYoFphXECgQIHQwEBAQEBEQEBAQEBBgsLCRQuhAwBAQEDARIRHQEbEQ0DAQsGBQsNKgICIQEBEQEFAQoSBhMSCQeHdQEDCQgNqgY+MYsugWuCd4oHChknAwpUgwYBCwEZAQUOigGDQIFZAQFWgmiBQQWEOwaFI4gbhASBRIEPMIpXgieBcBIjgQwJhC4gMYEMgTcBAQE X-IronPort-AV: E=Sophos;i="5.07,737,1413237600"; d="scan'208";a="95967882" Received: from mail-ob0-f174.google.com ([209.85.214.174]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 10 Jan 2015 19:44:42 +0100 Received: by mail-ob0-f174.google.com with SMTP id uz6so17532536obc.5 for ; Sat, 10 Jan 2015 10:44:40 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type; bh=HsZjfKdkZGeOmWXsmiqoEuIIvKzC5+Y1sxCEQs5ySWU=; b=P6q/Z/MwHbMaTtUTdjNw3wfUzIMvdFv2Vy1dINWcD6I3XcPocNmv2pWDE51b70Kpr1 5yttnQCp9owVM/cHrPliiBRHhcA1DPfYyFixVY6uELFUtszc0abSN+DXzolpCxNJM230 pjNgOsdWcuHtvzDClL4iLMm2K9ZTv5LYcFfW04gyB+q6t9AaGNg7j2lxRMH32iQQNio/ BkZxv0MSTFT2ClrQhe437bcabI2rkJSU9PXwn8IB0/WckS7JXaxkR/n6k5+zS9qSerEF WcVuOA1oR/gPVLTuEIyip4714GANw2PxHru9OO+KyI8SxISe5yZiTXC6QnRUh2Eu/SZw UNeA== MIME-Version: 1.0 X-Received: by 10.60.52.2 with SMTP id p2mr13140446oeo.85.1420915480753; Sat, 10 Jan 2015 10:44:40 -0800 (PST) Received: by 10.182.80.3 with HTTP; Sat, 10 Jan 2015 10:44:40 -0800 (PST) In-Reply-To: References: <179a7ef93afed958daa2c024a5a1bb2f@whitequark.org> Date: Sat, 10 Jan 2015 13:44:40 -0500 Message-ID: From: Kenneth Adam Miller To: caml users Content-Type: multipart/alternative; boundary=001a1133353c7c7c27050c50aa0f Subject: Re: [Caml-list] Ocaml programmers interested in human-level AI --001a1133353c7c7c27050c50aa0f Content-Type: text/plain; charset=UTF-8 What's wrong with oasis and it's build system? I like that, it does a good job if you take the time to learn it and put effort in your package details. The only thing I think the ocaml environment is missing is a static check of the surrounding environment for the tools that will be used, for use in opam. That way, when stuff builds, you get told all the dependencies instead of doing iterations of finding each missing thing by hand. On Sat, Jan 10, 2015 at 1:38 PM, Eray Ozkural wrote: > Dear Peter, > > On Sat, Jan 10, 2015 at 8:13 PM, Peter Zotov > wrote: > >> 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. >> > > > Haha! I am still using that OCaml Makefile that I got from somewhere. So I > suppose that would mean it would have to be a better programmer than > I am. We do fully intend to achieve that one day. Can an AI be as creative > as a human? That was one of the popular objections that Turing evaluated > in his 1950 paper. Theory suggests there is no reason why. Also, it is > already > conceivable as a (quite high tech) extension of automatic programming > methods. If you can specify the programming problem logically, yes, a > general-purpose AI system (universal problem solver kind) should be able > to solve it. Can it do better than all programmers? Such solutions have not > been yet demonstrated, but why not? AI could be better at chip design than > we are, but also could be better at algorithm design. We just haven't done > it > at a very large scale yet. We're waiting for a Chicago Pile moment ;) > > Having said that, I do have an awesome makefile library that I once > released > called justmake. Let me extend that to include ocaml code and maybe we'll > use that in-house. Thanks for reminding that to me. I should also upload a > lot > of nice bits and pieces to github for easy access. > > Best Regards, > > -- > Eray Ozkural, PhD. Computer Scientist > Founder, Gok Us Sibernetik Ar&Ge Ltd. > http://groups.yahoo.com/group/ai-philosophy > --001a1133353c7c7c27050c50aa0f Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
What's wrong with oasis and it's build system? I l= ike that, it does a good job if you take the time to learn it and put effor= t in your package details.

The only thing I think the oc= aml environment is missing is a static check of the surrounding environment= for the tools that will be used, for use in opam. That way, when stuff bui= lds, you get told all the dependencies instead of doing iterations of findi= ng each missing thing by hand.

On Sat, Jan 10, 2015 at 1:38 PM, Eray Ozkural <examachine@gmail.com> wrote:
Dear Peter,

On Sat, Jan 10, 2015 at 8:13 PM, Peter Zotov <whitequark@whitequark.org> wrote:
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.


Haha! I am still using t= hat OCaml Makefile that I got from somewhere. So I
suppose that would me= an it would have to be a better programmer than
I am. We do fully intend= to achieve that one day. Can an AI be as creative
as a human? That was = one of the popular objections that Turing evaluated
in his 1950 paper. T= heory suggests there is no reason why. Also, it is already
conceivable as a (quite high tech) extension of automat= ic programming
methods. If you can spec= ify the programming problem logically, yes, a
general-purpose AI system= (universal problem solver kind) should be able
to solve it. Can it do = better than all programmers? Such solutions have not
been yet demonstrat= ed, but why not? AI could be better at chip design than
we are, but also= could be better at algorithm design. We just haven't done it
=
at a very large scale yet. We're waiting for= a Chicago Pile moment ;)

Having said that, I do have an awesome makefile lib= rary that I once released
called justmake. Let me extend that to include= ocaml code and maybe we'll
use that in-house. Thanks for reminding = that to me. I should also upload a lot
of nice bits and pieces to github= for easy access.

Best Regards,

--
Eray Ozkural, PhD. Computer Scient= ist
Founder, Gok Us Sibernetik Ar&Ge Ltd.
http://groups.yahoo.com= /group/ai-philosophy

--001a1133353c7c7c27050c50aa0f--