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,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.176.4.102 with SMTP id 93mr36150787uav.2.1481485852317;
        Sun, 11 Dec 2016 11:50:52 -0800 (PST)
X-Received: by 10.157.37.247 with SMTP id q110mr5888645ota.5.1481485852277;
 Sun, 11 Dec 2016 11:50:52 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.glorb.com!n6no5461851qtd.0!news-out.google.com!j8ni33988qtc.0!nntp.google.com!n6no5461849qtd.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sun, 11 Dec 2016 11:50:51 -0800 (PST)
In-Reply-To: <87twabx1ei.fsf@adaheads.sparre-andersen.dk>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=67.0.242.189;
 posting-account=lJ3JNwoAAAAQfH3VV9vttJLkThaxtTfC
NNTP-Posting-Host: 67.0.242.189
References: <o1uj70$qe2$1@dont-email.me> <o1uroj$jsj$1@gioia.aioe.org>
 <47366b42-c0a3-41bf-a44a-5241c109d60f@googlegroups.com>
 <alpine.DEB.2.20.1612050922450.22845@debian>
 <o23a8a$11e9$1@gioia.aioe.org> <lywpfed43r.fsf@pushface.org>
 <58f477d2-8b01-4001-bad8-47ea73424f4c@googlegroups.com>
 <o24oqj$1no2$1@gioia.aioe.org>
 <6e206c3b-d4a8-44ab-9e0e-adb0924983ef@googlegroups.com>
 <o2799o$1hn5$1@gioia.aioe.org>
 <10e8cb52-1cbd-40ed-ba11-f474c2263ced@googlegroups.com>
 <84oe4cdv010g9fba0jrjv2os7c0halucd0@4ax.com>
 <o28mnv$dl0$1@dont-email.me> <o28phs$mb0$1@dont-email.me>
 <o2c8vt$rpp$1@dont-email.me>
 <o2dppg$1cn$1@dont-email.me> <o2dri3$6me$1@dont-email.me>
 <87twabx1ei.fsf@adaheads.sparre-andersen.dk>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <d408c38a-c64b-4951-80a5-746b9b4e98a0@googlegroups.com>
Subject: Re: Ada 2012 Constraints (WRT an Ada IR)
From: Shark8 <onewingedshark@gmail.com>
Injection-Date: Sun, 11 Dec 2016 19:50:52 +0000
Content-Type: text/plain; charset=UTF-8
Xref: news.eternal-september.org comp.lang.ada:32727
Date: 2016-12-11T11:50:51-08:00
List-Id: <comp.lang.ada>

On Saturday, December 10, 2016 at 8:13:42 AM UTC-7, Jacob Sparre Andersen wrote:
> G.B.writes:
> 
> > (It also states "because of the classified nature of much Ada
> > programming, these units had been wiped"... triggers a knee-jerk
> > reaction)
> 
> The R1000 at the Danish computing museum was used by a defense
> contractor, so it makes sense that they wiped the machine.  It would of
> course have been nice, if they had kept an installation media for later
> users of the machine, but how many of us think that far?
> 
> Greetings,
> 
> Jacob
> -- 
> Who guards the guardians?

There's also some interesting and informative posts regarding the R-1000 on the following blog:
http://www.somethinkodd.com/oddthinking/category/geek/software-development/rat1000/

There's also this evaluation, which I've read (sometimes a bit dry, but interesting), here:
http://repository.cmu.edu/cgi/viewcontent.cgi?article=1141&context=sei

Here are the experimental transcripts, which I've not yet read:
http://www.dtic.mil/get-tr-doc/pdf?AD=ADA204634