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 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 24888BBAF for ; Tue, 30 Sep 2008 15:36:58 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkQBANLI4UhKfU4alGdsb2JhbACSA4EBPgEBAQEJCQwHEQOiD2yHIgEC X-IronPort-AV: E=Sophos;i="4.33,338,1220220000"; d="scan'208";a="17941135" Received: from ey-out-2122.google.com ([74.125.78.26]) by mail1-smtp-roc.national.inria.fr with ESMTP; 30 Sep 2008 15:36:57 +0200 Received: by ey-out-2122.google.com with SMTP id 6so7581eyi.15 for ; Tue, 30 Sep 2008 06:36:57 -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:cc:in-reply-to:mime-version:content-type :content-transfer-encoding:content-disposition:references; bh=eH4lhxilIMyB147D/fEqC8KZGezStowbtnClZgG+Y0g=; b=id2u/ijbRSj1tdahSEm4NqlY9qqqABSXIFGIqnICIMQGR93wA6w4g3shXGDYtYJR6P S99w1HE9aGVMfwlA2ap8qXnXiAHsR6R3xAlimNaJqHHhERm4Lhoo3I1+N1t0GOCbPaSU IEVeeP1hKUdtrgff4tcWkBk8jgY+xr0MAfTVo= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:cc:in-reply-to:mime-version :content-type:content-transfer-encoding:content-disposition :references; b=P1hFme64IqZipQi8aZ7uXfs8wsJRyyof08MV4oA3Yr99BMmlGbbRttLH/QPfhK9oDE 2iBsB4ed+1YtTlg3DloFIp7e7CRQ/cu8qi7495kyyUpGaisPnxgRrpLd7B8t3eOUbCnW mTAJUerW4g2s6kvRXsKRZgXK8/KFeisnlx5wA= Received: by 10.86.29.8 with SMTP id c8mr5664646fgc.30.1222781816715; Tue, 30 Sep 2008 06:36:56 -0700 (PDT) Received: by 10.86.61.17 with HTTP; Tue, 30 Sep 2008 06:36:56 -0700 (PDT) Message-ID: <9d3ec8300809300636w4223f480uf7c7008e08354054@mail.gmail.com> Date: Tue, 30 Sep 2008 14:36:56 +0100 From: "Till Varoquaux" To: "=?UTF-8?Q?Micha=C5=82_C?=" Subject: Re: [Caml-list] Random number generator Cc: caml-list@yquem.inria.fr In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: base64 Content-Disposition: inline References: X-Spam: no; 0.00; prng:01 wikipedia:01 wiki:01 ocaml's:01 integers:01 beginner's:01 ocaml:01 bug:01 eef:98 ruin:98 beginners:01 wrote:01 overflows:01 integer:01 ints:01 SXQgYXBwYXJlbnRseSBbMV0gcGFzc2VkIHRoZSBkaWUgaGFyZCB0ZXN0IHNvIGl0IHNob3VsZCBi ZSBwcmV0dHkKc29saWQuIE5vdyBoZXJlIGNvbWVzIHRoZSB3YXJuaW5nOiBvbmUgY2FuIG9ubHkg cHJvdmUgdGhhdCBQUk5HIGFyZQpiYWQsIHdpdGhzdGFuZGluZyB0aGUgdGVzdCBvZiB0aW1lIGlz IHRoZSBiZXN0IGhpbnQgZmlyIHF1YWxpdHkuClJhbmRvbSBudW1iZXJzIGFyZSBhIHRyaWNreSBz dWJqZWN0OyBpZiB5b3UgYXJlIHVzaW5nIHRoZW0gZm9yIHlvdXIKcmF5IHRyYWNlciBhIGxvdy1k aXNjcmVwYW5jeSBzZXF1ZW5jZVsyXSBtaWdodCBwcm92ZSBhIGJldHRlciBtYXRjaC4KClRpbGwK WzFdaHR0cDovL2dyb3Vwcy5nb29nbGUuY29tL2dyb3VwL2ZhLmNhbWwvYnJvd3NlX3RocmVhZC90 aHJlYWQvZWI1YmE3ZWVmNmU0MzA2NgpbMl1odHRwOi8vZW4ud2lraXBlZGlhLm9yZy93aWtpL0xv dy1kaXNjcmVwYW5jeV9zZXF1ZW5jZQoKT24gVHVlLCBTZXAgMzAsIDIwMDggYXQgMjoxNyBQTSwg TWljaGHFgiBDIDxjaWViaWFkYUBnbWFpbC5jb20+IHdyb3RlOgo+IEhlbGxvIQo+Cj4gRG8gWW91 IG1heWJlIGhhdmUgYW55IGlkZWEgaG93IGdvb2QgaXMgdGhlIHN0YW5kYXJkIFJORyBmcm9tIHJh bmRvbS5tbAo+IG1vZHVsZT8gSSBrbm93IHRoYXQgaXQncyBxdWl0ZSBmYXN0IGJ1dCB3aGF0IGFi b3V0IHRoZSBxdWFsaXR5IG9mIGdlbmVyYXRlZAo+IG51bWJlcnM/Cj4KPiBJJ3ZlIHRyaWVkIGlt cGxlbWVudGluZyB2YXJpb3VzIHJhbmRvbSBudW1iZXIgZ2VuZXJhdG9ycyBmb3IgdGhlIHdob2xl Cj4geWVzdGVyZGF5IGJ1dCBJIGNvdWxkbid0IGJ5cGFzcyBvY2FtbCdzIGludCBsaW1pdGF0aW9u cy4gQWxtb3N0IGV2ZXJ5dGhpbmcKPiBiYXNlcyBvbiB1bnNpZ25lZCBpbnRlZ2VycyAoMC4uMl4z Mi0xKSBzbyBkZXNwaXRpbmcgdGhlIGZhY3QgbXkgcmFuZ2UgaXMKPiBoYWxmIG9mIHRoYXQgKHVz aW5nIEludDMyKSBJJ20gaGF2aW5nIHRyb3VibGVzIHdoZW4gaW50ZWdlciBvdmVyZmxvd3MuLi4K Pgo+IEkgd291bGQgbGlrZSB0byBpbXBsZW1lbnQgY29tYmluZWQgTVdDIChtdWx0aXBsZSB3aXRo IGNhcnJ5KSBhbGdvcml0aG0gYmFzZWQKPiBvbiAyIHggMTZiaXQgbXdjJ3MuIEkndHMgdmVyeSBl YXN5IChhdCBsYXN0IGluIGMvYysrIHdoZXJlIGkgY2FuIHVzZQo+IHVuc2lnbmVkIGludHMpLCBm YXN0IGFuZCBhY2NvcmRpbmcgdG8gd2hhdCBJJ3ZlIHJlYWQgaXQncyBnZW5lcmF0aW5nIHZlcnkK PiBuaWNlIHJhbmRvbSBudW1iZXJzLgo+Cj4gSXQgZ29lcyBsaWtlIHRoaXM6Cj4KPiB6ID0gdz0g c29tZSBzZWVkcyAoYmlnIG51bWJlcnMpCj4KPiB6ICA9IDM2OTY5ICogKHogJiA2NTUzNSkgKyAo eiA+PiAxNikKPiB3ID0gMTgwMDAgKiAodyAmIDY1NTM1KSArICh3ID4+IDE2KQo+IHJldHVybiAo ICh6IDw8IDE2KSArICh3ICYgNjU1MzUpICkgICAgICAgICAgICAgIC8vIGNvbWJpbmluZyB0d28g MTYgYml0Cj4gbnVtYmVycyB0byBvbmUgMzIgYml0Cj4KPgo+IGJ1dCBpIGNhbnQgdGhpbmsgb2Yg YW55dGhpbmcgYnkgbXlzZWxmLCBpIG1lYW4gaSBjb3VsZCB1c2Ugc29tZSAiYWJzIiBvcgo+IHNv bWV0aGluZyBidXQgaSBkb3VidCBpdCB3b3VsZG4ndCBydWluIHRoZSB3aG9sZSBhbGdvcml0aG0u Cj4KPiBQLlMuCj4gc29tZSB0aW1lIGFnbyBJIHByb21pc2VkIHRoYXQgSSB3aWxsIGtlZXAgeW91 IGluZm9ybWVkIGhvdyBteSByYXktdHJhY2VyCj4gd2lsbCBkbywgaGVyZSBpdCBpczoKPiBodHRw Oi8vbmVvczEuYmxvZ3Nwb3QuY29tCj4KPiBfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fXwo+IENhbWwtbGlzdCBtYWlsaW5nIGxpc3QuIFN1YnNjcmlwdGlvbiBt YW5hZ2VtZW50Ogo+IGh0dHA6Ly95cXVlbS5pbnJpYS5mci9jZ2ktYmluL21haWxtYW4vbGlzdGlu Zm8vY2FtbC1saXN0Cj4gQXJjaGl2ZXM6IGh0dHA6Ly9jYW1sLmlucmlhLmZyCj4gQmVnaW5uZXIn cyBsaXN0OiBodHRwOi8vZ3JvdXBzLnlhaG9vLmNvbS9ncm91cC9vY2FtbF9iZWdpbm5lcnMKPiBC dWcgcmVwb3J0czogaHR0cDovL2NhbWwuaW5yaWEuZnIvYmluL2NhbWwtYnVncwo+CgoKCi0tIApo dHRwOi8vdGlsbC12YXJvcXVhdXguYmxvZ3Nwb3QuY29tLwo=