I guess this unfortunately means HuggingFace won't be "the first company to go public with an emoji instead of the three-letter ticker" as the cofounders originally intended:
"When we started the company, a running joke with my co-founders was that we wanted to be the first company to go public with an emoji instead of the three-letter ticker when you go in the NASDAQ."
-- Clem Delangue (https://unsupervisedlearning.substack.com/p/the-future-of-open-vs-closed-source)
