Re:NSan: a floating-point numerical sanitizer
by Lemmih on Sunday February 21, 2021 @01:06AM
(#26211222)
Loved your thesis. Will implement it in Haskell for use in hgeometry (https://hgeometry.org).
[ Parent
| on HN ]
Re:NSan: a floating-point numerical sanitizer
by nestorD on Sunday February 21, 2021 @02:58AM
(#26211715)
Great! Don't hesitate to contact me if you have any question or roadblock.
I would be happy to give a link to your implementation in the readme of the C++ reference implementation.
Re:NSan: a floating-point numerical sanitizer
by Lemmih on Wednesday February 24, 2021 @07:26AM
(#26249162)
No roadblocks but I did find something I didn't expect. Turns out that 'sinl(pi)' differs on Linux and macosx. I'm getting error-bounds that are slightly different.
Here's the PR for my Haskell implementation: https://github.com/noinia/hgeometry/pull/120
Here's the documentation: https://noinia.github.io/hgeometry/doc/hgeometry-combinatori...