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=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id B6379BBAF for ; Sun, 6 Jul 2008 17:06:35 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApsEAMB7cEjAXQIm/2dsb2JhbACSGZZKg28 X-IronPort-AV: E=Sophos;i="4.30,311,1212357600"; d="scan'208";a="14812544" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 06 Jul 2008 17:06:35 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m66F6YXD029931 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Sun, 6 Jul 2008 17:06:35 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsEFAHx8cEhIDtyYY2dsb2JhbACSGTkaBB4DlVCDbw X-IronPort-AV: E=Sophos;i="4.30,311,1212357600"; d="scan'208";a="27066046" Received: from fg-out-1718.google.com ([72.14.220.152]) by mail4-smtp-sop.national.inria.fr with ESMTP; 06 Jul 2008 17:06:34 +0200 Received: by fg-out-1718.google.com with SMTP id e21so694816fga.25 for ; Sun, 06 Jul 2008 08:06:34 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to :subject:mime-version:content-type:content-transfer-encoding :content-disposition; bh=uJqmkbBEdMBzuirGDSyuaXMbrLsh7E6YJN8QbfwzRWs=; b=hQ7mSndeR3fB7OZ568aQUq0YqHm8p6B03osZPTfaMdQ/Xk0ua1g7es6g+RdEztuHzl vpQ3qzfuZNG28JKKFGgruBCWw8DaxycmETvF2dS7UPPEEDH3tWKbFhf4R84mSkkVxXCS I/4LV7NU+CLWFjBFQb7VRj9oQi/KoYqCx4CB8= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:mime-version:content-type :content-transfer-encoding:content-disposition; b=avt0eBAaEW2/e/ybEXz1rfOV5nhs/uQGiKlbQO3+D1yrUk9a3sZnEj9ndVQPOaoK0/ V2zdazpES45qJ4TmiUt6w5/sG1skkKlAR7eh5SpHe7pQjVA2yo2qvwoxfFtUrf+XjIqW LMIikmjzX6fw+47nKTssh99ZKZEB5SQvxXs6g= Received: by 10.125.99.1 with SMTP id b1mr645161mkm.148.1215356793550; Sun, 06 Jul 2008 08:06:33 -0700 (PDT) Received: by 10.125.91.20 with HTTP; Sun, 6 Jul 2008 08:06:33 -0700 (PDT) Message-ID: Date: Sun, 6 Jul 2008 15:06:33 +0000 From: "yoann padioleau" To: caml-list@inria.fr Subject: ANN: Logic File System MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline X-Miltered: at discorde with ID 4870DF7A.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 additionnal:01 mli:01 mli:01 additionnal:01 wiki:01 wiki:01 syntax:01 chic:98 tar:01 expressive:01 data:02 tgz:02 tutorial:03 shell:04 Hello, I am pleased to announce the release of the Logic File System (LFS). LFS is a very expressive file system coded in OCaml. LFS enables the user to access his files through an additionnal mountpoint, /lfs, where powerful logic queries can be issued and navigation can be done through different dimensions, like date, size, or extension. For instance, LFS allows the user to perform the following commands in the shell: $ cd /lfs/ext:mp3|ext:ogg/year:1973/genre:Disco/ $ ls artist:BeeGees/ artist:DonnaSummer/ artist:Chic/ ... $ cd /lfs/ext:ml|ext:mli/.ext $ ls list.ml list.mli array.ml array.mli ... It uses FUSE (and ocamlfuse). LFS just acts like an additionnal way to access your files. No need to migrate your data to LFS. Homepage: http://aryx.kicks-ass.org/~pad/wiki/wiki-LFS/doku.php Tar/GZ: http://aryx.kicks-ass.org/~pad/software/project-lfs/lfs-0.5.tgz Quick install guide: http://aryx.kicks-ass.org/~pad/wiki/wiki-LFS/doku.php?id=quickguide Tutorial: http://aryx.kicks-ass.org/~pad/wiki/wiki-LFS/doku.php?id=syntax