Search: herbie.uwplse.org | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

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

198 points

2 months ago

2.

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

159 points

3 years ago

3.

Herbie: Automatically Improving Floating Point Accuracy (herbie.uwplse.org)

152 points

6 years ago

4.

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

78 points

10 months ago

5.

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

78 points

2 years ago

6.

Herbie: Automatically Improving Floating Point Accuracy (herbie.uwplse.org)

27 points

11 years ago

7.

Herbie 1.1: automatically improve accuracy of floating-point expressions (herbie.uwplse.org)

8 points

9 years ago

8.

Herbie 1.0 released (automatically improve floating point accuracy) (herbie.uwplse.org)

4 points

10 years ago

9.

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

3 points

7 years ago

10.

Herbie: Automatically Improving Floating Point Accuracy (herbie.uwplse.org)

2 points

6 years ago

11.

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

2 points

7 years ago

12.

Herbie 2.0 Released (herbie.uwplse.org)

1 point

3 years ago

13.

Herbie 1.5 Released (herbie.uwplse.org)

1 point

5 years ago