Herbie：浮動小数点数の精度向上

Herbieプロジェクトは、浮動小数点演算の精度向上を目指しています。数年間にわたり、Herbieは多くのバージョンをリリースし、アルゴリズムの改善、速度向上、ブラウザインターフェースやRust、Haskellなどの言語向けのプラグイン追加などを継続的に行ってきました。最近では、Hammingベンチマークスイートにおいて著しい精度向上を達成し、プラグイン可能なコンパイルターゲットのための新しいプラットフォームAPIを追加しました。Herbieチームは、積極的に学術研究に参加し、論文を発表し、多くの講演を行って研究成果と将来計画を共有しています。