Herbie: Automatically improve imprecise floating point formulasherbie.uwplse.org
88 points by summarity 4 days ago | 10 comments