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,LOTS_OF_MONEY
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 2002:a24:b00a:: with SMTP id
 d10-v6mr2676023itf.55.1524276647907;
        Fri, 20 Apr 2018 19:10:47 -0700 (PDT)
X-Received: by 2002:a9d:5888:: with SMTP id x8-v6mr768669otg.0.1524276647426;
 Fri, 20 Apr 2018 19:10:47 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.swapon.de!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!k65-v6no1355444ita.0!news-out.google.com!u64-v6ni2320itb.0!nntp.google.com!f63-v6no1363258itc.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Fri, 20 Apr 2018 19:10:47 -0700 (PDT)
In-Reply-To: <be278c66-5749-42a2-8ab6-3c2f60093a5b@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=47.185.233.194;
 posting-account=zwxLlwoAAAChLBU7oraRzNDnqQYkYbpo
NNTP-Posting-Host: 47.185.233.194
References: <1c73f159-eae4-4ae7-a348-03964b007197@googlegroups.com>
 <878t9nemrl.fsf@nightsong.com>
 <de23c005-4b50-4910-9327-6d4acdaa7270@googlegroups.com>
 <87h8o7lowg.fsf@nightsong.com>
 <c15bd651-b717-420e-a0d2-7ed27289cd28@googlegroups.com>
 <8736zqkwat.fsf@nightsong.com>
 <6839088c-f221-4650-a6ea-1841ae539486@googlegroups.com>
 <1e5f5681-0e2a-43cc-9437-2bd38078da08@googlegroups.com>
 <87604lvkqp.fsf@nightsong.com>
 <0bd80336-595a-45b6-b4e5-26c13d5859cb@googlegroups.com>
 <87o9idsh7f.fsf@nightsong.com>
 <b2ec5521-db67-40d8-8001-21853ab5222e@googlegroups.com>
 <87k1t1s9lx.fsf@nightsong.com>
 <be278c66-5749-42a2-8ab6-3c2f60093a5b@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <cf159dff-c7fc-4e84-845a-becabe7784cd@googlegroups.com>
Subject: 
 =?UTF-8?B?UmU6IEhvdyB0byBnZXQgQWRhIHRvIOKAnGNyb3NzIHRoZSBjaGFzbeKAnT8=?=
From: "Dan'l Miller" <optikos@verizon.net>
Injection-Date: Sat, 21 Apr 2018 02:10:47 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2299
X-Received-Body-CRC: 3612698626
Xref: reader02.eternal-september.org comp.lang.ada:51656
Date: 2018-04-20T19:10:47-07:00
List-Id: <comp.lang.ada>

On Friday, April 20, 2018 at 8:50:32 PM UTC-5, Shark8 wrote:
> I believe there needs to be a bigger push towards correctness, and Ada probably needs a couple of good
> "killer apps" to really "cross the chasm", and a proven compiler/IDE would hit the mark on both of those.

If I were the one that had the $30 million, I'd hire you, Edward, to fully execute this vision.  I agree wholeheartedly with nearly everything that you have written.  (And the part that I haven't yet agreed with is merely because I need to ponder it more.)