<div dir="ltr">This is a very nice article indeed. A lot of useful information.<div><br></div><div>Just a not-at-all-thought-through idea: Since we can know the badlands of the primitives, couldn't we do something similar to an annotation system that would tell you where the badlands of a function that composes such primitives are?</div><div><br></div><div>For example, to each primitive is associated a set of critical points or intervals possibly with typical error bounds, so as to know interesting intervals where to do random testing, and possibly compute error bounds (sometimes inf.0).</div><div><br></div><div>Probably not that simple I guess.</div><div><br></div><div>Laurent</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Oct 27, 2014 at 1:14 PM, Neil Toronto <span dir="ltr"><<a href="mailto:neil.toronto@gmail.com" target="_blank">neil.toronto@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">This is the article I mentioned in my RacketCon talk this year, which is an expansion of my RacketCon talk from last year. Self-serving Hacker News link:<br>
<br>
    <a href="https://news.ycombinator.com/item?id=8514965" target="_blank">https://news.ycombinator.com/<u></u>item?id=8514965</a><br>
<br>
(Every week on Hacker News discussions, I see some of the same misinformed arguments about floating point. This article addresses most of them, so please go upvote it for the sake of informed discussion. We do not want people being wrong on the Internet!)<br>
<br>
A big thanks to Konrad, his co-editor Matthew Turk, and the CiSE editing staff, who worked very hard with us on the article. Also, thanks to Vincent Lefèvre (<a href="http://www.vinc17.org" target="_blank">http://www.vinc17.org</a>), Matthias Felleisen, and Robby Findler, who reviewed it.<span class="HOEnZb"><font color="#888888"><br>
<br>
Neil</font></span><div class="HOEnZb"><div class="h5"><br>
<br>
On 10/27/2014 06:05 AM, Konrad Hinsen wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
The current issue of "Computing in Science and Engineering" has a nice<br>
article by Neil Toronto and Jay McCarthy on "Practically Accurate<br>
Floating-Point Math" in Racket. It is currently freely available<br>
via IEEE's Computing Now platform:<br>
<br>
   <a href="http://www.computer.org/portal/web/computingnow/content?g=53319&type=article&urlTitle=practically-accurate-floating-point-math" target="_blank">http://www.computer.org/<u></u>portal/web/computingnow/<u></u>content?g=53319&type=article&<u></u>urlTitle=practically-accurate-<u></u>floating-point-math</a><br>
<br>
Free access is typically limited in time, so grab your copy now!<br>
<br>
Konrad<br>
____________________<br>
   Racket Users list:<br>
   <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/<u></u>users</a><br>
<br>
</blockquote>
<br>
____________________<br>
 Racket Users list:<br>
 <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/<u></u>users</a><br>
</div></div></blockquote></div><br></div>