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

YHacker Newsscreenshots

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

First screen, captured 6 months 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: 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 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 orlp.net: Magical Fibonacci Formulae

Magical Fibonacci Formulae (orlp.net)

133 points by alexmolas 2 years ago | 19 comments

Screenshot of qount25.dev: Shrimple – A Simpler, Nicer Markdown

Shrimple – A Simpler, Nicer Markdown (qount25.dev)

15 points by usrbinenv 3 months ago | 25 comments

Screenshot of microdot.readthedocs.io: Microdot

Microdot (microdot.readthedocs.io)

96 points by kristianpaul 3 years ago | 25 comments