4 ms·
There's actually a great write-up on how Herbie was used in the real-world to fix and improve math.js: https://pavpanchekha.com/blog/casio-mathjs.html https://p
by adamjs 11y ago
There's actually a great write-up on how Herbie was used in the real-world to fix and improve math.js: https://pavpanchekha.com/blog/casio-mathjs.html https://pavpanchekha.com/blog/casio-mathjs.html
I've personally used it for improving some distance-field approximation code on the GPU (made it easier to translate the math into numerically-stable code).
- pavpanchekha 11y agoAdam, I'm one of the authors of Herbie. I'd love to hear about the distance-field approximation code you improved using Herbie. Is there any chance you can email me some details? You can use my personal email (on my profile) or the herbie@cs.washington.edu mailing list.