Herbie: 부동 소수점 정확도 향상

Herbie 프로젝트는 부동 소수점 계산의 정확도를 높이는 것을 목표로 합니다. 수년 동안 Herbie는 여러 버전을 출시하여 알고리즘 개선, 속도 향상, 브라우저 인터페이스 및 Rust, Haskell과 같은 언어에 대한 플러그인 추가 등을 지속적으로 수행해 왔습니다. 최근 Hamming 벤치마크 제품군에서 상당한 정확도 향상을 달성했으며, 플러그인 가능한 컴파일 대상을 위한 새로운 플랫폼 API를 추가했습니다. Herbie 팀은 학술 연구에 적극적으로 참여하여 논문을 발표하고 여러 강연을 통해 연구 결과와 향후 계획을 공유하고 있습니다.