News for hackers. Stuff that matters.

A comment on Herbie: Automatically rewrites expressions to minimize floating point error.

Re:Herbie: Automatically rewrites expressions to minimize fl... by OxO4 on Sunday January 24, 2016 @07:43PM (#10964868)
Looks quite interesting. Is there a paper/tech report that describes the approach? The website [1] seems to be down at the moment.

[1] http://herbie.uwplse.org/

[ Parent | on HN ]
Re:Herbie: Automatically rewrites expressions to minimize fl... by davmre on Sunday January 24, 2016 @08:10PM (#10964973)
Yes, this was a best paper award at PLDI '15: http://homes.cs.washington.edu/~jrw12/herbie.pdf
[ Parent | on HN ]
Re:Herbie: Automatically rewrites expressions to minimize fl... by ChristianBundy on Sunday January 24, 2016 @07:55PM (#10964914)
I found this: https://github.com/uwplse/herbie
[ Parent | on HN ]