Herbie 1.0 released (automatically improve floating point accuracy)herbie.uwplse.org4 points·pavpanchekha··0 commentsOpen articleSaveView on HN