Re:Herbie: Automatically Improving Floating Point Accuracy
by jonnycomputer on Thursday August 06, 2020 @03:07PM
(#24074347)
The natural application of this is in a code-inspection plugin for an IDE. Pretty cool tool!
[ Parent
| on HN ]
Re:Herbie: Automatically Improving Floating Point Accuracy
by pavpanchekha on Thursday August 06, 2020 @03:08PM
(#24074357)
There used to be GHC and Rust plugins. I don't know much about building IDE plugins, but I agree it'd be a great use of Herbie.