Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  github.com  rust  health  show  china  trump  theguardian.com  psychology  arstechnica.com  go  google  apple  linux  psypost.org  tesla  java  web  nature.com  video 

Algebraic Semantics for Machine Knitting

6 days ago uwplse.org math plt

Herbie: Optimize Floating-Point Expressions

10 months ago herbie.uwplse.org math

Herbie, the Numerical Compiler

11 months ago uwplse.org compiler

Herbie: Find and fix floating-point accuracy problems

17 months ago herbie.uwplse.org compsci math

Herbie: Automatically Improving Floating Point Accuracy

4 years ago herbie.uwplse.org

Verdi: Formally Verifying Distributed Systems

6 years ago verdi.uwplse.org

Herbie: Automatically Improving Floating Point Accuracy

6 years ago herbie.uwplse.org

Œuf: Minimizing the Coq Extraction TCB

7 years ago oeuf.uwplse.org

Verdi – Formally Verifying Distributed Systems

7 years ago verdi.uwplse.org

Run your Java applications on Big Data Frameworks

7 years ago casper.uwplse.org java

Herbie: Automatically Improving Floating Point Accuracy

9 years ago herbie.uwplse.org

New tool "Herbie" automatically rewrites arithmetic expressions to minimize floating-point precision errors

9 years ago herbie.uwplse.org

Improving Floating Point Accuracy: A Look at Sums

9 years ago alex.uwplse.org

Measuring The Error of Floating Point Programs

9 years ago alex.uwplse.org

Herbie: Automatically Improving Floating Point Accuracy

9 years ago herbie.uwplse.org