From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 BC0547EEBF for ; Mon, 6 Jul 2015 21:29:36 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of yminsky@janestreet.com) identity=pra; client-ip=38.105.200.112; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="yminsky@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of yminsky@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="yminsky@janestreet.com"; x-sender="yminsky@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="yminsky@janestreet.com"; x-sender="postmaster@mxout1.mail.janestreet.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AwAQDm1ZpVnHDIaSZcg2ZgBoMZrCOQFIcrB0wBAQEBAQESAQEBAQEGFglPhDwRHQEBOCUPAiYCJBIBBQEiATSIDAMKpw2BLD4xik9whGQBBZFxAQEBBwEBAQEBARYGCoEXjRWFCoFDlBqEYocGjVaJNhIjgRUXcoM0U4JLAQEB X-IPAS-Result: A0AwAQDm1ZpVnHDIaSZcg2ZgBoMZrCOQFIcrB0wBAQEBAQESAQEBAQEGFglPhDwRHQEBOCUPAiYCJBIBBQEiATSIDAMKpw2BLD4xik9whGQBBZFxAQEBBwEBAQEBARYGCoEXjRWFCoFDlBqEYocGjVaJNhIjgRUXcoM0U4JLAQEB X-IronPort-AV: E=Sophos;i="5.15,416,1432591200"; d="scan'208";a="139151568" Received: from mxout1.mail.janestreet.com ([38.105.200.112]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 06 Jul 2015 21:29:35 +0200 Received: from tot-qpr-mailcore1.delacy.com ([172.27.56.68] helo=tot-qpr-mailcore1) by mxout1.mail.janestreet.com with esmtps (TLSv1:DHE-RSA-AES256-SHA:256) (Exim 4.82) (envelope-from ) id 1ZCC57-0005DQ-SQ for caml-list@inria.fr; Mon, 06 Jul 2015 15:29:33 -0400 X-JS-Flow: external Received: by tot-qpr-mailcore1 with JS-mailcore (0.1) (envelope-from ) id BVmtcd-AAADEE-aI; 2015-07-06 15:29:33.836740-04:00 Received: from mail-wg0-f47.google.com ([74.125.82.47]) by mxgoog1.mail.janestreet.com with esmtps (UNKNOWN:AES128-GCM-SHA256:128) (Exim 4.72) (envelope-from ) id 1ZCC57-0001X6-N1 for caml-list@inria.fr; Mon, 06 Jul 2015 15:29:33 -0400 Received: by wgjx7 with SMTP id x7so148875939wgj.2 for ; Mon, 06 Jul 2015 12:29:33 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:date:message-id:subject:from:to:content-type; bh=M9/ilcYEYJfTUfiTQg0SnFtb2UQ8cJ3iFe26g1ZE834=; b=CesS4Ra3A3xSO6O95Ju6OD6sE4k2b0n26BEHOdY4v8yHvCIDM5VvUNlCkxQyh54r78 ZHR1SMTzzxYWXCFV2KkB2441BweVePs/kBPil8M1YDGvD8ouakMx1jLpV9M715XNB0CL j/VGH9QgZkTeqUfE9KHjlCLI9sZCpqwYka3SY= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:date:message-id:subject:from:to :content-type; bh=M9/ilcYEYJfTUfiTQg0SnFtb2UQ8cJ3iFe26g1ZE834=; b=A46cQISRjZbhsVkSzfrXb8Yurr/LB3o+3rIeSQSU/Ruu5X97uPsyO4U/EzV5bTWArQ 1Hh4Zty9NyV1m79BVDEklyp9meM0MDXdkULZlpqIZyCMrITioI/Ug73Nnp0qQNrGvBVD vk5wKN3bm2VHD368B8BdNvfrV08QBCfOnfRQKm+KNmTY83XO15Ws8ACTxUDQlArN+tCd ObIAb2c+PpRDB9m6TK6EwiSWg0Oq/q89jnbq8evnoaYqkbtYgsYHPHkGYZ0awzYSdTFt kXnMpEpZqdrQtuaaG4QLzVPjOMXS96FdbVi7kIlT9mtWDBmZLu/h49iEpN+91rt+6l39 XUtw== X-Gm-Message-State: ALoCoQkSJ5WXLb8XvPeSjq54TpjijtAOHj7PmcfyAiGgrVoeoztqq3jOp5q8C8FsIOik0prW/KtCaEcsBi1J4/9qsCQIMSxE8TPFdnY4yR7B05Dm7MFuDr7Xk3rXOzTHu/husNkVZG0/ X-Received: by 10.180.20.15 with SMTP id j15mr57034428wie.76.1436210973018; Mon, 06 Jul 2015 12:29:33 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.180.20.15 with SMTP id j15mr57034418wie.76.1436210972937; Mon, 06 Jul 2015 12:29:32 -0700 (PDT) Received: by 10.28.153.20 with HTTP; Mon, 6 Jul 2015 12:29:32 -0700 (PDT) Date: Mon, 6 Jul 2015 15:29:32 -0400 Message-ID: From:Yaron Minsky To:"ocaml-core@googlegroups.com" , "caml-list@inria.fr" Content-Type: text/plain; charset=UTF-8 X-JS-Processed-by: mailcore Subject: [Caml-list] [ANN] Incremental 112.35.00 I'm very pleased to announce the release of Incremental 112.35.00. Incremental is a library for building self-adusting computations, following the work of Acar et. al. [1]. Self adjusting computations are designed so that they can be updated efficiently in response to their inputs. Incremental can be useful in a number of different kinds of applications, including: - Building large calculations (of the kind you might build into a spreadsheet) that can react efficiently to changing data. - Constructing views in GUI applications that can incorporate new data efficiently. - Designing online versions of existing combinatorial algorithms. You can find detailed documentation of the library and how to use it in incremental_intf.ml [2]. The full source is on github [3], and it should show up in opam shortly as well. [1]: http://www.umut-acar.org/self-adjusting-computation [2]: https://github.com/janestreet/incremental/blob/master/src/incremental_intf.ml [3]: https://github.com/janestreet/incremental/