Search: uwplse.org | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Algebraic Semantics for Machine Knitting (uwplse.org)

246 points

a year ago

2.

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

198 points

2 months ago

3.

Verdi – Formally Verifying Distributed Systems (2016) (verdi.uwplse.org)

166 points

9 years ago

4.

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

159 points

3 years ago

5.

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

152 points

6 years ago

6.

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

78 points

10 months ago

7.

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

78 points

2 years ago

8.

Improving Floating Point Accuracy: A Look at Sums (alex.uwplse.org)

66 points

11 years ago

9.

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

27 points

11 years ago

10.

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

8 points

9 years ago

11.

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

4 points

10 years ago

12.

Custom Data Structures in E-Graphs (uwplse.org)

3 points

3 months ago

13.

Custom Data Structures in E-Graphs (uwplse.org)

3 points

3 months ago

14.

Titanic – a tool for prototyping number systems (titanic.uwplse.org)

3 points

7 years ago

15.

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

3 points

7 years ago

16.

Show HN: A DSL helps a soulslike run directly on YouTube (uwplse.org)

2 points

7 months ago

17.

Algebraic Semantics for Machine Knitting (uwplse.org)

2 points

a year ago

18.

Taxonomy of Small Floating-Point Formats (uwplse.org)

2 points

a year ago

19.

Verilog Programs Are Pure Expressions (uwplse.org)

2 points

2 years ago

20.

Herbie, the Numerical Compiler (uwplse.org)

2 points

2 years ago

21.

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

2 points

6 years ago

22.

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

2 points

7 years ago

23.

Custom Data Structures in E-Graphs (uwplse.org)

1 point

3 months ago

24.

Herbie 2.0 Released (herbie.uwplse.org)

1 point

3 years ago

25.

Herbie 1.5 Released (herbie.uwplse.org)

1 point

5 years ago

26.

The Cassius Project (cassius.uwplse.org)

1 point

6 years ago