We have a recently created tag, fp16, about half-precision (16 bit) floating-point numbers.
However, we already had a tag for half-precision floating-point numbers, namely half-precision-float.
half-precision-float has been marked as a synonym of precision, though.
This makes it a bit awkward: we have two tags about the same subject, one is distinct, while the other is a synonym of another tag.
As far as I can see, we have three options:
- Leave this situation be.
- Mark fp16 as a synonym of precision, so both tags do the same thing
- Redirect the synonym for half-precision-float to fp16, so both tags do the same thing
My personal opinion is we should go for option 3. Questions about 16 bit floating point numbers might not be specifically about precision, and imo an own tag is appropriate, but that probably goes against the reasoning why half-precision-float was marked as a synonym in the first place.
Can we discuss this?