Herbie: Find and fix floating-point accuracy problems (uwplse.org) 6 months ago | 26 comments https://news.ycombinator.com/item?id=38451680
Herbie 2.0 Released (uwplse.org) 11 months ago | 0 comments https://news.ycombinator.com/item?id=36543214
Herbie – optimize floating-point expressions for accuracy (github.com/herbie-fp) 2 years ago | 2 comments https://news.ycombinator.com/item?id=30740880
Herbie: Automatically Improving Floating Point Accuracy (uwplse.org) 4 years ago | 17 comments https://news.ycombinator.com/item?id=24069465
Herbie: Automatically rewrites expressions to minimize floating point error (github.com/uwplse) 8 years ago | 19 comments https://news.ycombinator.com/item?id=10964617
Herbie: Automatically Improving Floating Point Accuracy (uwplse.org) 9 years ago | 3 comments https://news.ycombinator.com/item?id=9999438