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

YHacker Newsscreenshots

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

First screen, captured 2 years ago.

Looks similar

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: 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

Screenshot of mathjax.org: MathJax: Beautiful and accessible math in all browsers

MathJax: Beautiful and accessible math in all browsers (mathjax.org)

199 points by peter_d_sherman 3 years ago | 74 comments

Screenshot of haroldbot.nl: Haroldbot, client-side tool that checks 32-bit bitvector arithmetic equivalence

Haroldbot, client-side tool that checks 32-bit bitvector arithmetic equivalence (haroldbot.nl)

41 points by lifthrasiir 2 years ago | 7 comments

Screenshot of carnap.io: Carnap – A formal logic framework for Haskell

Carnap – A formal logic framework for Haskell (carnap.io)

97 points by ravenical 10 months ago | 20 comments