热门标签：
Mac 多显示器 显示器扩展 requests patch 并发 Alpine Linux BSD Linux 电动汽车 全部标签

Herbie：提升浮点运算精度的利器

2025-08-07

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

阅读更多
(herbie.uwplse.org)
开发 Herbie项目

Herbie 网络演示

2024-06-04

Herbie 网络演示页面允许用户输入公式，并利用 Herbie 工具对其进行改进。用户需要输入变量的近似范围，并使用 FPCore 表达式编写公式。由于请求量大，网页请求可能会排队或超时，建议用户在本地安装 Herbie 以获得更好的体验。

阅读更多
(herbie.uwplse.org)
51
未分类 公式优化 Herbie FPCore