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.1 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id D4C86BC37 for ; Wed, 19 Aug 2009 08:46:15 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEABk8i0rZbprC/2dsb2JhbADXdYQZBYIq X-IronPort-AV: E=Sophos;i="4.43,406,1246831200"; d="scan'208";a="31304302" Received: from grisu.bik-gmbh.de ([217.110.154.194]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 19 Aug 2009 08:46:15 +0200 Received: from [192.168.125.196] (abel.bik-gmbh.de [192.168.125.196]) by grisu.bik-gmbh.de (8.14.3/8.14.3) with ESMTP id n7J6kCIs048560 for ; Wed, 19 Aug 2009 08:46:12 +0200 (CEST) (envelope-from hars@bik-gmbh.de) Message-ID: <4A8B9FB6.10402@bik-gmbh.de> Date: Wed, 19 Aug 2009 08:46:14 +0200 From: Florian Hars User-Agent: Thunderbird 2.0.0.22 (X11/20090608) MIME-Version: 1.0 To: caml-list@inria.fr Subject: Re: [Caml-list] Jane Street is hiring (as if you didn't already know) References: <1250027407.4019.123.camel@nyc-qws-007.delacy.com> <200908171459.01872.toots@rastageeks.org> <7c737f300908171302q6c251441u35ed3bd99552bd46@mail.gmail.com> <200908171526.52574.toots@rastageeks.org> <3c1674c90908171430m12c4a3e7pa96cc5e60df72b17@mail.gmail.com> <20090818084452.f9df0801.mle+ocaml@mega-nerd.com> <3c1674c90908171622j79ec5df1ob4e6236dff3a1b36@mail.gmail.com> <20090818093300.a041d75a.mle+ocaml@mega-nerd.com> <4A8A8979.4010705@bik-gmbh.de> <20090818210723.c45efcaf.mle+ocaml@mega-nerd.com> In-Reply-To: <20090818210723.c45efcaf.mle+ocaml@mega-nerd.com> X-Enigmail-Version: 0.95.7 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; hars:01 hars:01 bik-gmbh:01 implements:01 haskell:01 7500:98 personality:98 caml-list:01 kernel:02 kernel:02 accompanied:02 florian:03 florian:03 erik:04 generated:05 Erik de Castro Lopo schrieb: > The Linux kernel which is the one I am interested in is C only. The kernel I linked to is in C, too (well, 7500 lines of C accompanied by 200000 lines of proof that the C actually implements the formal specification automatically generated from the Haskell prototype). And it can more or less run Linux as a personality. - Florian.