From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,2ff5c149712ec0eb
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Newsgroups: comp.lang.ada
Subject: Re: Ada Interfaces and the Liskov Substitution Principle
References: <Pine.LNX.4.64.0705232101220.20072@th.informatik.uni-mannheim.de>
 <1179953657.839272.160320@a26g2000pre.googlegroups.com>
 <f32d9o$fi9$1@jacob-sparre.dk>
 <1179991769.376381.252010@m36g2000hse.googlegroups.com>
 <12h6mi42jcha0.7f9vfsnihjwr$.dlg@40tude.net>
 <1180003336.1163.29.camel@kartoffel>
 <83abvs7sa9.fsf@hod.lan.m-e-leypold.de>
 <465aa5ba$0$23147$9b4e6d93@newsspool1.arcor-online.net>
 <qa3sb6w0a0n9.i2vpzirsrrfc.dlg@40tude.net>
 <465b6606$0$10188$9b4e6d93@newsspool4.arcor-online.net>
 <i3klun83mxpk.kwz6ot6mqpd1.dlg@40tude.net>
 <1180445634.5664.23.camel@kartoffel>
 <39viqigjwhrb$.gz67xvpinyjr.dlg@40tude.net>
 <465c9077$0$23135$9b4e6d93@newsspool1.arcor-online.net>
 <cb1jpulo7dok$.1voakie5wr69g.dlg@40tude.net>
 <1180531107.16197.30.camel@kartoffel>
 <w9mu1i6kf35l.1hzzhvo03fs5b.dlg@40tude.net>
 <1180611880.16197.59.camel@kartoffel>
 <cq8h8nf3efna$.b8bgpgt0snnf.dlg@40tude.net>
From: Markus E Leypold
 <development-2006-8ecbb5cc8aREMOVETHIS@ANDTHATm-e-leypold.de>
Organization: N/A
Date: Fri, 01 Jun 2007 12:07:29 +0200
Message-ID: <wpk5uom1i6.fsf@hod.lan.m-e-leypold.de>
User-Agent: Some cool user agent (SCUG)
Cancel-Lock: sha1:zBroWyFbaGEa+x2kTTTLcMmi47s=
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
NNTP-Posting-Host: 88.72.201.45
X-Trace: news.arcor-ip.de 1180691893 88.72.201.45 (1 Jun 2007 11:58:13 +0200)
X-Complaints-To: abuse@arcor-ip.de
Path: 
 g2news1.google.com!news4.google.com!feeder1-2.proxad.net!proxad.net!feeder1-1.proxad.net!club-internet.fr!feedme-small.clubint.net!newsfeed.freenet.de!news.unit0.net!newsfeed.arcor-ip.de!news.arcor-ip.de!not-for-mail
Xref: g2news1.google.com comp.lang.ada:16041
Date: 2007-06-01T12:07:29+02:00
List-Id: <comp.lang.ada>


> On Thu, 31 May 2007 13:44:40 +0200, Georg Bauhaus wrote:

>>> No, the point is that they cannot be mapped (implemented), this is why
>>> mathematics is necessary to describe what is going on, because no machine
>>> would be sufficient for that.
>> 
>> But what is actually going on in /dev/random?
>
> Realization of a random variable.

But is that trivial or not?

- M