Get the latest tech news
Herbie detects inaccurate expressions and finds more accurate replacements
Zach gave a keynote at CoNGA’19 on multi-precision, multi-format computations and our efforts to support them in Herbie, FPBench, and Titanic. Alex gave a talk on our sister project Herbgrind at PLDI’18.
13 Mar Zach gave a keynote at CoNGA’19 on multi-precision, multi-format computations and our efforts to support them in Herbie, FPBench, and Titanic. This release transitions to the FPCore format from the FPBench initiative, and includes significant bug fixes, usability tweaks, and improvements. Herbie will now optimize expressions like(exp 1) to E. 6 May We're proud to announce that we've been collaborating with Prof. Martel and his students to build a common benchmark suite and format for floating point tools.
Or read this on Hacker News