previous posts: Herbie: Find and fix floating-point accuracy problems (uwplse.org) 6 months ago | 26 comments https://news.ycombinator.com/item?id=38451680 htt

previous posts: Herbie: Find and fix floating-point accuracy problems (uwplse.org) 6 months ago | 26 comments https://news.ycombinator.com/item?id=38451680 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 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 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 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 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 https://news.ycombinator.com/item?id=9999438