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.1 required=5.0 tests=BAYES_00,
	PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII
X-Google-Thread: 103376,be23df8e7e275d73
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-08-03 06:59:18 PST
Path: 
 archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!news.tele.dk!213.56.195.71!fr.usenet-edu.net!usenet-edu.net!wanadoo.fr!proxad.net!feeder2-1.proxad.net!nnrp1.proxad.net.POSTED!not-for-mail
From: "nicolas" <n.brunot@cadwin.com>
Newsgroups: comp.lang.ada
References: <mailman.995648003.8404.comp.lang.ada@ada.eu.org>
   <PsW77.765$YT.2364480@nnrp5.proxad.net>
 <9jrdl3$mh2$1@a1-hrz.uni-duisburg.de>
 <%hb87.917$%w2.3730577@nnrp3.proxad.net> <9jrt62$38t$1@nh.pace.co.uk>
 <3B619A6D.5DD6E782@home.com> <DF897.3617$ee.3921026@nnrp5.proxad.net>
 <3B6636BA.96FD8348@home.com> <TLt97.9335$Xa.790630@nnrp4.proxad.net>
 <9kb3ub$hdo$1@a1-hrz.uni-duisburg.de>
 <yy9a7.3017$ss3.4363386@nnrp6.proxad.net>
 <9kchn1$lng$1@a1-hrz.uni-duisburg.de>
 <R1ta7.4077$ke.4769807@nnrp6.proxad.net>
 <9ke8b4$qiv$1@a1-hrz.uni-duisburg.de>
Subject: Re: Proving Correctness (was Java Portability)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.00.2919.6700
X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2919.6700
Message-ID: <W6ya7.18376$pt6.4281444@nnrp1.proxad.net>
Date: Fri, 03 Aug 2001 13:59:18 GMT
NNTP-Posting-Host: 195.101.131.241
X-Complaints-To: abuse@proxad.net
X-Trace: nnrp1.proxad.net 996847158 195.101.131.241 (Fri,
 03 Aug 2001 15:59:18 CEST)
NNTP-Posting-Date: Fri, 03 Aug 2001 15:59:18 CEST
Organization: Guest of ProXad - France
Xref: archiver1.google.com comp.lang.ada:11206
Date: 2001-08-03T13:59:18+00:00
List-Id: <comp.lang.ada>

"Georg Bauhaus" <sb463ba@l1-hrz.uni-duisburg.de> a �crit dans le message
news: 9ke8b4$qiv$1@a1-hrz.uni-duisburg.de...

> _Before_ I by a car (oh, hopefully that will happen once more
> some day :-) I try to find out what it is like. I think brakes
> are at a much too basic level for an appropriate analogy.

This is a quite appropriate analogy according to me.
Millions of people use cars and motorbikes, ask them
You can rent one, a lot of people do that
This is much cheaper, and you can change each week-end
(If you don't spend the entire week-end reading the doc ...)

> :> Almost every... May I again ask for evidence?
> None has arrived, afaics.
> : Have you ever met people considering that computers are just tools ?
> Yes.
> : the important point is that it must work more or less, be easy to use,
> : nobody cares what's inside ...
> you claim.
> : Nobody cares if it comes from the evil Microsoft or the good whatever
you
> : want ...
> evidence? Besides, I'm not saying, M$ is evil, whatever the truth
> may be.

Well I think we are getting a little too childish.
You don't see any evidence of what I claim,
I don't see any evidence of what you claim
and I guess that sometime common sense should be enough.
But never mind, that's not very important,
the day software world is convinced to use Ada with current mentality,
I'll be very happy to aknowledge you were right and I was wrong ...