Herbie: Steigerung der Genauigkeit von Gleitkommazahlen
2025-08-07
Das Herbie-Projekt zielt darauf ab, die Genauigkeit von Gleitkommaberechnungen zu verbessern. Über mehrere Jahre hinweg hat Herbie zahlreiche Versionen veröffentlicht, die Algorithmen kontinuierlich verbessert, die Geschwindigkeit erhöht und Funktionen wie eine Browseroberfläche und Plugins für Sprachen wie Rust und Haskell hinzugefügt haben. Kürzlich erzielte Herbie signifikante Genauigkeitsverbesserungen beim Hamming-Benchmark-Suite und fügte eine neue Plattform-API für steckbare Kompilierziele hinzu. Das Herbie-Team beteiligt sich aktiv an der wissenschaftlichen Forschung, veröffentlicht Artikel und hält zahlreiche Vorträge, um seine Forschungsergebnisse und Zukunftspläne zu teilen.
Entwicklung
Herbie-Projekt