KellyThomas

joined 1 year ago
[–] KellyThomas@lemmy.fmhy.ml 5 points 1 year ago* (last edited 1 year ago)

It's like GUID vs. UUID, for most contexts they have the same meaning. Then if the difference matters either the audience already knows this or the speaker needs to be very clear that they are using one meaning over the other.