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=0.4 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,5412c98a3943e746
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.231.138 with SMTP id tg10mr2628366pbc.7.1331731819201;
        Wed, 14 Mar 2012 06:30:19 -0700 (PDT)
Path: 
 h9ni25270pbe.0!nntp.google.com!news1.google.com!news.glorb.com!de-l.enfer-du-nord.net!feeder1.enfer-du-nord.net!gegeweb.org!gegeweb.42!gegeweb.eu!nntpfeed.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Wed, 14 Mar 2012 14:30:17 +0100
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.6;
 rv:10.0.2) Gecko/20120216 Thunderbird/10.0.2
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: REAL
References: <op.v91cleyiule2fv@douda-yannick> <jj3p5v$2tp$1@munin.nbi.dk>
 <9207716.776.1331054644462.JavaMail.geo-discussion-forums@ynaz38>
 <nhzeozam35it$.13mzx8ap4cmdc$.dlg@40tude.net>
 <op.wascesqrule2fv@douda-yannick>
 <4edda5mav3cf$.149pbgyxl1wx5.dlg@40tude.net>
 <9rplcgF5a2U1@mid.individual.net>
 <1psd0g0womgxi.1sle7ol12x3d5.dlg@40tude.net>
 <9rsahhFmr3U1@mid.individual.net> <ezfn0og1qfov.14k34sxoky5ke.dlg@40tude.net>
 <9rvdjvFfa8U1@mid.individual.net> <4pp58h1br5sp$.yylr20e5vzxb.dlg@40tude.net>
 <9s1s7tF6pcU1@mid.individual.net>
 <1oln2mjlozzh5$.1mxrd97lrgndo.dlg@40tude.net>
 <9s4mseFuoaU1@mid.individual.net> <v18znvc2u2sk.aqnplls3016g.dlg@40tude.net>
 <9sb3l3Fs4oU1@mid.individual.net>
 <4f6063b7$0$6642$9b4e6d93@newsspool2.arcor-online.net>
 <Pine.LNX.4.64.1203141202570.28027@medsec1.medien.uni-weimar.de>
 <ou81y5gru8zh$.1xdmyyyolu0u3$.dlg@40tude.net>
In-Reply-To: <ou81y5gru8zh$.1xdmyyyolu0u3$.dlg@40tude.net>
Message-ID: <4f609d6a$0$6628$9b4e6d93@newsspool2.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 14 Mar 2012 14:30:18 CET
NNTP-Posting-Host: 0dc2f423.newsspool2.arcor-online.net
X-Trace: 
 DXC=M9G2=JVhTVU\PS5Xo=M[RVA9EHlD;3YcR4Fo<]lROoRQ8kF<OcfhCO[\M8Q7Z_Bh2]nc\616M64>ZLh>_cHTX3j]m=VjQn?9QJ_
X-Complaints-To: usenet-abuse@arcor.de
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Date: 2012-03-14T14:30:18+01:00
List-Id: <comp.lang.ada>

On 14.03.12 13:59, Dmitry A. Kazakov wrote:
> On Wed, 14 Mar 2012 12:14:05 +0100, stefan-lucks@see-the.signature wrote:
> 
>> Hardly anyone cares enough to analyze how the error grows from operation 
>> to operation. Hardly anyone even bothers to define how close the result 
>> should to be -- which depends on the application at hand, of course. 
> 
> It is largely the hardware to blame. When the machine rounds, it is more
> difficult to keep track on precision, comparing to a truncating machine (in
> either direction).
> 
> Of course, interval arithmetic should have replaced IEEE long ago. But
> nobody cares.

Programmers do care about floating point effects---when they
strike: but being able to explain possible causes of FPT "effects"
is an asset to human capital. So it is better to keep the current
types and effects and acquire the asset. Turns hazards into
sources of achievement. "So, you handled that effect? Good job!"

If interval arithmetic is a superior alternative, then
interval arithmetic popular in some way, but also make sure
that programmers can substitute assets! Seems to be one way
of getting technical changes adopted. Maybe write some nifty shader.