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

YHacker Newsscreenshots

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

First screen, captured 2 years ago.

Looks similar

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: 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: Optimize Floating-Point Expressions

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

74 points by todsacerdoti 2 years ago | 4 comments

Screenshot of herb-tools.dev: Herb: Powerful and seamless HTML-aware ERB parsing and tooling

Herb: Powerful and seamless HTML-aware ERB parsing and tooling (herb-tools.dev)

73 points by todsacerdoti 1 year ago | 13 comments

Screenshot of orlp.net: Taming floating-point sums

Taming floating-point sums (orlp.net)

99 points by todsacerdoti 2 years ago | 45 comments

Screenshot of flix.dev: The Flix Programming Language

The Flix Programming Language (flix.dev)

183 points by sivakon 2 years ago | 91 comments