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=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,c9d5fc258548b22a
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!npeer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nx02.iad01.newshosting.com!newshosting.com!198.186.194.249.MISMATCH!transit3.readnews.com!news-out.readnews.com!postnews3.readnews.com!postbox2.readnews.com!not-for-mail
Date: Wed, 02 Mar 2011 18:26:08 -0500
From: Hyman Rosen <hyrosen@mail.com>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US;
 rv:1.9.2.14) Gecko/20110221 Thunderbird/3.1.8
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: How do I write directly to a memory address?
References: 
 <67063a5b-f588-45ea-bf22-ca4ba0196ee6@l11g2000yqb.googlegroups.com>
 <31c357bd-c8dc-4583-a454-86d9c579e5f4@m13g2000yqb.googlegroups.com>
 <05a3673e-fb97-449c-94ed-1139eb085c32@x1g2000yqb.googlegroups.com>
 <4d4c232a$0$28967$882e7ee2@usenet-news.net> <4D4D6506.50909@obry.net>
 <4d50095f$0$22393$882e7ee2@usenet-news.net>
 <wcck4hb95jz.fsf@shell01.TheWorld.com>
 <4d6d56c4$0$11509$882e7ee2@usenet-news.net>
 <16u9ka51wbukr$.1fj2sb73j9rv6.dlg@40tude.net>
 <4d6d627b$0$11509$882e7ee2@usenet-news.net>
 <74986d0a-0d5b-4396-8c77-adff72e870a2@d26g2000prn.googlegroups.com>
 <4d6eafc7$0$17913$a8266bb1@postbox2.readnews.com>
 <op.vrqh3z1blzeukk@jellix.jlfencey.com>
 <4d6eb309$0$17913$a8266bb1@postbox2.readnews.com>
 <op.vrqodiwglzeukk@jellix.jlfencey.com>
In-Reply-To: <op.vrqodiwglzeukk@jellix.jlfencey.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <4d6ed212$0$17960$a8266bb1@postbox2.readnews.com>
NNTP-Posting-Host: 198.186.190.52
X-Trace: 1299108370 postbox2.readnews.com 17960 198.186.190.52:52208
Xref: g2news1.google.com comp.lang.ada:17748
Date: 2011-03-02T18:26:08-05:00
List-Id: <comp.lang.ada>

On 3/2/2011 6:18 PM, Vinzent Hoefler wrote:
> How do you count the cost of such incidents?

How do you count the cost of the extra development that would
be required for all software to come to some standard of not
having known errors?

As it stands, anyone who wishes to have software written with
such exactitude is free to pay for it, and many do, in exactly
the cases you indicated where the cost of error is prohibitively
high.