Hacker News new | past | comments | ask | show | jobs | submit login
Verifying Bit-Manipulations of Floating-Point [pdf] (stanford.edu)
60 points by ingve on April 24, 2016 | hide | past | favorite | 2 comments



Well the title is a little misleading but exact.

It is much more we finally have a reliable/proven way for estimating errors in floating point arithmetic for transcendental? operations notably on Intel platform.

Which is both impressive and important, and makes me wonder why it took so many times to appear while we use PC computers since so many years for non linear system with error amplifications (risk assessment, turbulent flows, n body problem).

I am like kind of surprised we make more and more use of computers for data crunching, that we give more and more precision on the results but few consider to check the exactitude : that results are less in value than the resulting errors propagated by all approximations.

It casts doubt on the seriousness of the industry.


this looks like a really interesting paper, thanks for posting it.




Consider applying for YC's Summer 2025 batch! Applications are open till May 13

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: