Hacker News
- Herbie: Find and fix floating-point accuracy problems https://herbie.uwplse.org/ 26 comments
- Herbie: Automatically Improving Floating Point Accuracy https://herbie.uwplse.org/ 17 comments
- Herbie: Automatically Improving Floating Point Accuracy http://herbie.uwplse.org 3 comments
Lobsters
- Herbie detects inaccurate floating-point expressions and finds more accurate replacements https://herbie.uwplse.org/ 48 comments programming
- New tool "Herbie" automatically rewrites arithmetic expressions to minimize floating-point precision errors http://herbie.uwplse.org/ 178 comments programming
Linking pages
- GitHub - mikeizbicki/HerbiePlugin: GHC plugin that improves Haskell code's numerical stability https://github.com/mikeizbicki/herbieplugin#herbie-ghc-plugin 146 comments
- Improving Accuracy: A Look at Sums http://alex.uwplse.org/2015/10/16/improving-accuracy-summation.html 30 comments
- GitHub - herbie-fp/herbie: Optimize floating-point expressions for accuracy https://github.com/uwplse/herbie 19 comments
- A DSL for Implementing Math Functions | SIGPLAN Blog https://blog.sigplan.org/2024/06/03/a-dsl-for-implementing-math-functions/ 17 comments
- A Tricky Floating-Point Calculation | seize the dev https://akr.am/blog/posts/a-tricky-floating-point-calculation 11 comments
- Porting Takua Renderer to 64-bit ARM- Part 1 https://blog.yiningkarlli.com/2021/05/porting-takua-to-arm-pt1.html 10 comments
- GitHub - herbie-fp/herbie: Optimize floating-point expressions for accuracy https://github.com/herbie-fp/herbie 2 comments
- Fast and Extensible Equality Saturation with egg | SIGPLAN Blog https://blog.sigplan.org/2021/04/06/equality-saturation-with-egg/ 0 comments
- Measuring The Error of Floating Point Programs http://alex.uwplse.org/2015/08/03/measuring-error.html 0 comments
- Improving MBA Deobfuscation using Equality Saturation | secret club https://secret.club/2022/08/08/eqsat-oracle-synthesis.html 0 comments
- Research Highlights from PLDI 2015 | by Scott Moore | Medium https://medium.com/@thinkmoore/research-highlights-from-pldi-2015-308995fd0077 0 comments
Related searches:
Search whole site: site:herbie.uwplse.org
Search title: Herbie: Automatically Improving Floating Point Accuracy
See how to search.