Emoji needed for - like it but have to work to understand it

Stream: new members

[Eric Taucher]

Being new to proofs there is much that I am learning here and would like to leave an emoji for those giving me responses to say

I like what I read, it makes enough sense to me that I can dig into more details but I don't know at present if it really did the trick.

[Huỳnh Trần Khanh]

oh? my go to emoji is :joy: for that purpose!

[Huỳnh Trần Khanh]

you can also use :hourglass: too! I used to use :hourglass: but now I use it less often lol

[Eric Wieser]

Or :thinking: maybe

[Huỳnh Trần Khanh]

also try :upside_down: perhaps? tbh any emoji would do lol :joy::laughing:

[Anne Baanen]

I go for :eyes: for "that looks interesting"

[Anne Baanen]

Unfortunately the blobmoji version looks more like :rolling_eyes: :/

[Huỳnh Trần Khanh]

no one likes my suggestions :sob:

[Eric Taucher]

There is no rule that says it can be only one emoji, at present I like the combo :eyes: (looks interesting) :thinking: (thinking) but would rather have something with eyes (looks interesting) and microscope (researching), - :eyes: :science:

Does that make sense or is it just me?

[Huỳnh Trần Khanh]

my advice is stick to laughing emojis. this way you won't have to worry about people misunderstanding your emojis lol. laughing emojis are your safest bet

[Huỳnh Trần Khanh]

this is coming from a person who uses reactions extensively, so you can trust me :joy:

[Huỳnh Trần Khanh]

generally when chatting you should avoid :+1: and :heart: unless you're absolutely sure that the message is correct

[Eric Taucher]

Huỳnh Trần Khanh said:

generally when chatting you should avoid :+1: and :heart: unless you're absolutely sure that the message is correct

The problem with emoji is that they have different meanings in different places which is why I am asking.

What is needed is a look up table of emoji or emoji combos and customary meaning on this site.

[Huỳnh Trần Khanh]

then on this Zulip we only have 2 emojis that everyone understands and uses: :tada: and :octopus: and they mean the same thing (great! awesome! congratulations!)

a lot of other emojis are also used but they don't have any commonly accepted interpretation :joy: I'm from Vietnam and I mostly use emojis according to Vietnamese norms :joy:

don't overthink this. have fun :blush: I know Americans don't have an established "emoji culture" so reactions are somewhat hard to grasp :joy:

[Stuart Presnell]

Eric Taucher said:

I like what I read, it makes enough sense to me that I can dig into more details but I don't know at present if it really did the trick.

How about :seeing_stars: ? The :star: suggests "I like this", the swirling suggests "please wait" (like the :hourglass: suggested above) and the official meaning "seeing stars" suggests that you need time to recover from the impact of this idea! :smile:

[Mario Carneiro]

Huỳnh Trần Khanh said:

my advice is stick to laughing emojis. this way you won't have to worry about people misunderstanding your emojis lol. laughing emojis are your safest bet

Huỳnh Trần Khanh said:

generally when chatting you should avoid :+1: and :heart: unless you're absolutely sure that the message is correct

I would say it is the opposite. :+1: is the most common and normal emoji reaction for "I agree" or "thanks". :heart: is less common and usually means "thanks a lot". Laughing emojis should only be used on laughing matters (i.e. jokes), laughing at someone's help is just weird.

[Johan Commelin]

I like :bulb: for "Aha! I learned something" and :thank_you: for "Thanks". I mostly use :thumbs_up: for "I agree".

[Arthur Paulino]

I've learned to communicate with :octopus: :tada: :pray: :eyes: :thinking: :bulb: and :+1: mostly

[Arthur Paulino]

But addressing the question, I use :thinking: for the times I need to process something with my brain for a while :rofl:

[Johan Commelin]

:racecar: "Nanana, I was faster" or "Congrats, you were faster"
:working_on_it: "Awesome, I love that you are building this tactic for us"
:see_no_evil: "What could ever go wrong if I do this"

[Eric Wieser]

:scream: / :fear: "oh no that's what could go wrong"

[Johan Commelin]

:stuck_out_tongue_wink: "I'm trolling, and you know it"

[Eric Rodriguez]

:sick:/:nauseated: : dear elaboration gods why is this nonsense happening

[Julian Berman]

this thread should keep going, next april fools we can work on adding Lean Emoji Glossary

[Patrick Massot]

Huỳnh Trần Khanh said:

then on this Zulip we only have 2 emojis that everyone understands and uses: :tada: and :octopus: and they mean the same thing (great! awesome! congratulations!)

a lot of other emojis are also used but they don't have any commonly accepted interpretation :joy: I'm from Vietnam and I mostly use emojis according to Vietnamese norms :joy:

don't overthink this. have fun :blush: I know Americans don't have an established "emoji culture" so reactions are somewhat hard to grasp :joy:

I can only very much confirm that we don't understand what you mean with your emojis. Personally I simply learned to ignore all :joy: I see on Zulip as pure noise (hence basically preventing other people to use it), and each time I see a message with a long random sequence of emojis I simply assume it's you and move on. It's pretty interesting to learn this may be a Vietnamese thing, so what you're doing is simply the analog of randomly posting messages in a language very few users of this website can understand.

[Arthur Paulino]

Hey @Huỳnh Trần Khanh, I just want to ask you not to take what people are saying too hard. I believe it's due to a double cultural clash: geographically speaking and also due to difference in age (because I also believe you're younger than most of us). That being said, since I've already expressed my belief about you being younger, I also want to say that I think you're a smart fella.

More on emojis, please do note how people try to imbue their messages with a distinctly concise emotion by using different emojis for different contexts. In this sense, emojis are used to disambiguate what we're feeling when we are writing online messages. In contrast, if I always use the same emoji, people might misunderstand my true intent. For instance, my current emotional state can be expressed with a ":smile:", but If I always use it, it can be misunderstood with sarcasm, which is something that I've been trying to abolish from my communication for the last 5~6 years.

I like you and your spontaneity, so you can take this as an opportunity to adapt. You're very capable of contributing to mathlib and I'd like to see your full potential.

Sincerely,

[Marc Huisinga]

Another unfortunate issue with emojis is that they're rendered differently across devices. I'd personally never use Android emojis because I feel that they can always come off as sarcastic, but the Zulip blob emojis are great. Unfortunately folks who use the Zulip android app or something similar will see the emojis of their device, expressing a very different emotion.

[Yaël Dillies]

I remember the long gone days of Android blobs... Surely the biggest regression humanity suffered this century was their removal.