Herbie：提升浮点运算精度的利器
2025-08-07
Herbie项目致力于提高浮点运算的精度。历经数年发展，Herbie已发布多个版本，不断改进算法、提升速度，并增加了浏览器界面和插件支持多种编程语言（如Rust和Haskell）。近期，Herbie在Hamming基准测试套件上取得了显著的精度提升，并新增了可插拔编译目标的平台API。Herbie团队还积极参与学术研究，发表论文并进行多次学术演讲，分享其研究成果和未来规划。
开发
Herbie项目