Numerus | Deterministische fixed-point-rekenkunde

Wat is Dweve Numerus?

Numerus is een deterministische rekenbibliotheek in Rust. Hij gebruikt binaire fixed-point-, decimale en integer-typen, zodat dezelfde berekening op elke ondersteunde machine onder een gedeclareerd uitvoeringscontract dezelfde bits oplevert. Precisie, afrondingsbeleid en overflowgedrag worden vóór de eerste bewerking gekozen en met het resultaat vastgelegd. Toegang tot de repository vraag je momenteel aan via de Dweve-community.

• Binnen het gedeclareerde fixed-point- of decimale contract blijft de rekenroute integer-only; conversies over een floatgrens zijn expliciet.
• Een bewerking kan invoer, resultaat, flags, foutgrenzen en bronlocatie dragen voor een bit-voor-bit reproduceerbaar replayrecord.

Voor consumenten

Numerus is een bibliotheek voor berekeningen die elke keer hetzelfde moeten uitkomen. Je rekening, meterstand en een dosis op een afdeling zijn allemaal sommen. Het werkt met hele getallen, dus het antwoord is gelijk op een telefoon, op een server in een ander land en op een kaartlezer die al jaren niet is bijgewerkt.

Voor bedrijven

Numerus is een deterministische Rust-library voor fixed-pointrekenkunde onder Apache-2.0. Precisie, afrondingspunt en bewaartermijn worden vóór de berekening gekozen en met redenen vastgelegd, zodat een reviewer het getal tot het laatste cijfer opnieuw kan berekenen.

Voor engineers

Numerus is een Rust-library voor rekenkunde die een review moet doorstaan. Precisie en afrondingsbeleid worden vóór de berekening gekozen, eigenschappen worden bewezen over een bereik dat je opgeeft, en elke bewerking kan de regel dragen die haar produceerde. Apache-2.0, en verschijnt in de tweede ronde van het publicatieprogramma.