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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,be23df8e7e275d73
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-08-14 04:58:45 PST
Path: 
 archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!news.tele.dk!small.news.tele.dk!130.133.1.3!fu-berlin.de!cs.tu-berlin.de!uni-duisburg.de!not-for-mail
From: Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de>
Newsgroups: comp.lang.ada
Subject: Re: Proving Correctness (was Java Portability)
Date: Tue, 14 Aug 2001 11:58:44 +0000 (UTC)
Organization: GMUGHDU
Message-ID: <9lb3pk$r7q$1@a1-hrz.uni-duisburg.de>
References: <mailman.995648003.8404.comp.lang.ada@ada.eu.org>
   <Lnzb7.6377$6L.5741656@nnrp6.proxad.net> <uitg1gmzi.fsf@gsfc.nasa.gov>
 <soNb7.7086$sO3.6036493@nnrp6.proxad.net> <upua8tadu.fsf@wanadoo.fr>
 <9kosp0$dje$1@nh.pace.co.uk> <tn0jksmu38rs36@corp.supernews.com>
 <9kpq82$otf$1@nh.pace.co.uk> <9krak1$3f4$1@a1-hrz.uni-duisburg.de>
 <9krjs2$fqb$1@nh.pace.co.uk> <9ks3e9$69v$1@a1-hrz.uni-duisburg.de>
 <x7v8zgstu4f.fsf@smaug.pushface.org> <9l8n2l$jml$1@a1-hrz.uni-duisburg.de>
 <9l8o20$8fg$1@nh.pace.co.uk>
NNTP-Posting-Host: l1-hrz.uni-duisburg.de
X-Trace: a1-hrz.uni-duisburg.de 997790324 27898 134.91.4.34 (14 Aug 2001
 11:58:44 GMT)
X-Complaints-To: usenet@news.uni-duisburg.de
NNTP-Posting-Date: Tue, 14 Aug 2001 11:58:44 +0000 (UTC)
User-Agent: tin/1.5.8-20010221 ("Blue Water") (UNIX) (HP-UX/B.11.00
 (9000/800))
Xref: archiver1.google.com comp.lang.ada:11906
Date: 2001-08-14T11:58:44+00:00
List-Id: <comp.lang.ada>

Marin David Condic <dont.bother.mcondic.auntie.spam@[acm.org> wrote:
 
: The reason a company probably won't go for it is that it isn't their core
: business & they're not equipped to handle it. (Stick to your knitting!)

Yes, and it is both sad and known that these guys very often overlook
what the long term effect of this is going to be. I'll have
to dig out that book by Mancur Olson again (Logic of Collective Action).

: Hence, my best guess is that it will come from garage operations in some
: form.

Well, quite a few things have started in garages :-)