I have no cheese in my naming, but all my custom file formats uses the Hotdog library (sort of library? I guess it's a library, I don't know the strict definition), which means the word Hotdog appears a LOT in my code.
You can think of "rounding modes" as being like "round up" "round down" "round to nearest" or "round toward zero". So "round randomized" would fit very cleanly into the existing classification (eg in the IEEE standard).
@Nifflas If you're gonna have a variety of these with different hardcoded probabilities then maybe something like round_low_75 or round_down_75 with the number being the probability of rounding down, so you don't ever forget which way the polarity goes
@Nifflas One of these things where you learn one method in school, and that's all you know – until years later you stumble over the Wikipedia article and … 🤯
@xeophin@Nifflas When I read the description of the method I thought “that’s stochastic rounding” without ever having heard of the term stochastic rounding. It’s just - that’s what it is! It should be clear to anyone who knows the word stochastic and the word rounding.
Add comment