YHacker Newsscreenshots

herbie.uwplse.org on Hacker News

4 stories on the front page, newest first. Scroll down to watch the site change over time.

Screenshot of herbie.uwplse.org: Herbie: Automatically improve imprecise floating point formulas

Herbie: Automatically improve imprecise floating point formulas (herbie.uwplse.org)

184 points by summarity 6 months ago | 37 comments

Screenshot of herbie.uwplse.org: Herbie detects inaccurate expressions and finds more accurate replacements

Herbie detects inaccurate expressions and finds more accurate replacements (herbie.uwplse.org)

69 points by bwidlar 1 year ago | 6 comments

Screenshot of herbie.uwplse.org: Herbie: Optimize Floating-Point Expressions

Herbie: Optimize Floating-Point Expressions (herbie.uwplse.org)

74 points by todsacerdoti 2 years ago | 4 comments

Screenshot of herbie.uwplse.org: Herbie: Find and fix floating-point accuracy problems

Herbie: Find and fix floating-point accuracy problems (herbie.uwplse.org)

147 points by PaulHoule 2 years ago | 23 comments