Herbie：自动提高浮点精度

扎克和帕维尔谈到了赫比过去五年的经历：信任、衡量、社区和一般性。一旦视频可用，我们将立即将其发布。

2020年的混乱现在给你带来了一艘稳定的划艇：Herbie 1.4，它的速度和易用性都有了显著的提高。今天就下载试用吧！

David将在丹佛的正确度2019年大会上谈论FPBench 1.2和Herbie的最新改进。

Pavel明年将加入犹他大学担任助理教授，加入Ganesh和Zvonimir的行列，参与已经是浮点研究的纽带。

扎克在COMA‘19大会上做了一个主题演讲，主题是多精度、多格式的计算，以及我们在“赫比”、“FPBench”和“泰坦尼克号”中为支持它们所做的努力。

Alex在PLDI‘18上做了一个关于我们的姊妹项目Herbgrind的演讲。如果你想知道Herbgrind是如何从大型数字代码库中提取不准确的浮点表达式的，请观看它。

经过一年的工作，Herbie 1.2已经发布。这一版本的重点是创造力和准确性，一个新的系统，以推断更好的分支和更准确的默认Herbie的各种参数。阅读发行说明中的所有更改。

我们与黛西团队的Heiko和Eva合作，将我们的工具组合在一起，并评估如何最好地将它们一起使用-它将在FM‘18上发布。如果您正在将Herbie与其他浮点工具一起使用，请让我们知道！

帕维尔和扎克去西雅图中心看赫比·汉考克的演出。看着Herbie在Keytar上玩变色龙，一定会激发下一代浮点精度提升的灵感！

Pavel在微软雷蒙德研究院就Herbie和Herbgrind以及FPBench项目做了一次演讲。谢谢大家的光临！

Pavel在MPI-SWS Saarbrücken发表了关于Herbie、Herbgrind、吸取的教训以及接下来要做的事情的演讲。感谢伊娃·达鲁洛娃和她的学生们的邀请和热情的欢迎。这段视频被录制下来，可以在YouTube上观看。

在这个网站上孵化之后，Herbgrind转到了加州大学圣迭戈分校(UCSD)的一个新网站上，Herbie的明星、Herbgrind的主要开发者Alex现在正在那里攻读博士学位。我们将继续密切合作，包括在FPBench项目中，并希望新的、更有针对性的网站能帮助用户。

测试版刚刚过去一个月，Herbie 1.1就发布了。此版本为Herbie添加了浏览器界面，并包含重要的错误修复、可用性调整和改进。阅读发行说明中的所有更改。

我们的姊妹项目Herbgrind发布了0.42版。这个预发布是一个修改过的、更快、更稳定的Herbgrind，它可以在最大和最粗糙的代码库中找到浮点错误的根本原因！

经过几个月的工作，Herbie 1.1的测试版已经发布。此版本为Herbie添加了浏览器界面，并包含重要的错误修复、可用性调整和改进。阅读发行说明中的所有更改。

扎克正在犹他大学做一场关于赫比、芬班奇和赫布格林德的演讲。请来了解浮点自动化工具！

经过几个月的工作，Herbie开发人员很自豪地宣布发布Herbie 1.0。此版本从FPBench计划过渡到FPCore格式，并包括重要的错误修复、可用性调整和改进。阅读发行说明中的所有更改。

为了准备1.0版的发布，我们已经将pi和e常量重命名为大写。这与libm匹配，应该会让它更难产生错误。Herbie现在将优化表达式(EXP 1)至E。

我们很自豪地宣布，我们一直在与马特尔教授和他的学生合作，为浮点工具建立一个通用的基准测试套件和格式。Herbie 1.0版将仅支持FPBench格式。

帕维尔在谷歌就Herbie是如何工作的，以及我们对未来的计划做了一次演讲。

为了准备1.0版的发布，我们已经重命名了Herbie中的几个函数，以匹配libm名称。尤其要注意abs(现在是FABS)和expt(现在是POWER)。

帕维尔在MathWorks上就Herbie是如何工作的做了一次演讲，回答了关于它如何扩展的问题。

Herbie Rust Linter插入Rust编译器，为数值不稳定的表达式添加警告，并建议使用Herbie更准确的输出作为提示。

Mike Izbicki的Herbie GHC插件在Haskell程序中的适用表达式上自动运行Herbie。他还扫描了所有堆叠的LTS-3.5，找出与赫比的数字不准确之处。

帕维尔在PLDI‘15上发表了一篇杰出的论文演讲，主题是支撑赫比的科学进步。

扎克正在伯克利做演讲，内容是我们计划如何与Herbie一起提高浮点精度。

Pavel在OPLSS上做了一次演讲，内容是浮点精度是否可以提高，以及我们发现浮点精度的计划。

Pavel正在就一个提高浮点表达式准确性的新项目发表闪电演讲。

Pavel在Dropbox上做了一个关于提高浮点表达式准确性的新项目的演讲。(视频)