From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: ** X-Spam-Status: No, score=2.2 required=5.0 tests=AWL,DNS_FROM_RFC_POST, SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id C3CABBBAF for ; Fri, 23 Jan 2009 00:45:22 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjECAF2TeElKfVwYkGdsb2JhbACTPD4BAQEBCQkMBxEDpjaBBI8kAQMBA4VwhFU X-IronPort-AV: E=Sophos;i="4.37,309,1231110000"; d="scan'208";a="21900594" Received: from qw-out-2122.google.com ([74.125.92.24]) by mail3-smtp-sop.national.inria.fr with ESMTP; 23 Jan 2009 00:45:22 +0100 Received: by qw-out-2122.google.com with SMTP id 3so791372qwe.33 for ; Thu, 22 Jan 2009 15:45:21 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:cc:message-id:from:to :in-reply-to:content-type:content-transfer-encoding:mime-version :subject:date:references:x-mailer; bh=2rracZ9Ro+PhJGRMyxf7glXZi1xtr9kdPwKUKZDh2QU=; b=RrySn6ifuBhpFQEW/LYaopFFk3eJFrEvYwX/mnFoNivS5DoWVe4xD7Lc+1jE+SR8tl JYsH1SWhkkRyLI4amW8JA74FETdc6MmYVzLD6SE+0n9IgKIJJoFEomHJGjzg6Nf7NyoB dYtMaGBlIHkbDoPqFfmEv/kn5XVMjGRQ7APhs= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=cc:message-id:from:to:in-reply-to:content-type :content-transfer-encoding:mime-version:subject:date:references :x-mailer; b=SxrbKn6FlDdsqBYJ46ZHpzi8UjvPKr/Ez3ymq6QUjaiSw8ZJ2o02+eQ4htVJWzzvps 8KyV0eZ7RwfUfrseTN4utynjGUTVsr6bqckJvij70ja/Bxm4Fs8/AV79usGDhQm0L3hs rsZTQ+8zBFSnMr81h3S5fkhvrrsgrR9e29Ni4= Received: by 10.215.13.1 with SMTP id q1mr6860622qai.253.1232667921298; Thu, 22 Jan 2009 15:45:21 -0800 (PST) Received: from ?192.168.1.100? ([64.30.3.122]) by mx.google.com with ESMTPS id 9sm10174903ywf.53.2009.01.22.15.45.19 (version=TLSv1/SSLv3 cipher=RC4-MD5); Thu, 22 Jan 2009 15:45:20 -0800 (PST) Cc: OCaml Message-Id: <9B12EC85-DBDD-4FC7-9851-C6B69054868F@gmail.com> From: Alexy Khrabrov To: Dr.Thomas Fischbacher In-Reply-To: <4978C484.6040001@soton.ac.uk> Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit Mime-Version: 1.0 (Apple Message framework v930.3) Subject: Re: [Caml-list] OCaml and PETSc Date: Thu, 22 Jan 2009 18:45:17 -0500 References: <4978C484.6040001@soton.ac.uk> X-Mailer: Apple Mail (2.930.3) X-Spam: no; 0.00; ocaml:01 ocaml:01 callable:01 cheers:01 wrote:01 caml-list:01 optimization:03 optimization:03 tao:03 conditional:04 separately:05 graphical:07 example:10 might:12 definitely:12 On Jan 22, 2009, at 2:09 PM, Dr. Thomas Fischbacher wrote: > So, we are considering forking that off in order to distribute it > separately. But as this would involve some amount of work that keeps > us from doing other important things, we would like to hear feedback > from people out there on who might have specific applications or > plans for code that could benefit from this. So, who would like to > use PETSc from within OCaml, and what are your applications? I work with various graphical models for AI, which often require optimization. For example, the C++ version of Conditional Random Fields (CRFs) enhanced with Virtual Evidence Boosting (VEB) use PETSc optimization (TAO). Having PETSc callable from OCaml would definitely bring these methods closer to natural OCaml workflow. Cheers, Alexy