1. 7
    Herbie: Automatically Improving Floating Point Accuracy ☶ compsci math programming herbie.uwplse.org
    nickpsecurity avatar via nickpsecurity 18 days ago | cached | no comments

Original paper here.

  1.