#herbie

Herbie：自动提高浮点精度
Herbie: Automatically Improving Floating Point Accuracy(herbie.uwplse.org)
2020-8-7 2:30
扎克和帕维尔谈到了赫比过去五年的经历：信任、衡量、社区和一般性。一旦视频可用，我们将立即将其发布。 2020年的混乱现在给你带来了一艘稳定的划艇：Herbie 1.4，它的速度和易用性都有了显著的提高。今天就下载试用吧！ David将在丹佛的正确度2019年大会上谈论FPBench 1.2和Herbie的最新改进。 ......