You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Jules Hedges (Nov 20 2020 at 19:45):We have custom emoji! 
They're at the bottom of the emoji list
Jules Hedges (Nov 20 2020 at 19:46):Suggestions encouraged...... although it's really hard to come up with anything that's clear when it's scaled down that small
Jules Hedges (Nov 20 2020 at 19:47):Discussion is at #general: meta > custom emojis
Joe Moeller (Nov 24 2020 at 00:56):Yo isn't very visible to those who use night mode.
Jules Hedges (Nov 24 2020 at 10:22):That exact point already came up. In theory :darkyo: exists for that reason. I have no idea whether it works
Jules Hedges (Nov 24 2020 at 10:23):Of course that's not actually a solution, really it needs one that looks good on both
Oscar Cunningham (Nov 24 2020 at 10:24):Black with a white outline?
Matteo Capucci (he/him) (Nov 24 2020 at 10:41):I don't know why I didn't try the obvius: 
Matteo Capucci (he/him) (Nov 24 2020 at 10:41):New :darkyo:s should be just white
Jules Hedges (Nov 24 2020 at 10:42):This is even less of a solution. Now anyone using dark mode will use emoji that are completely invisible to everyone using light mode
Cole Comfort (Nov 24 2020 at 10:43):Who uses light mode in 2020?
Jules Hedges (Nov 24 2020 at 10:43):Well, me
Cole Comfort (Nov 24 2020 at 10:44):Maybe in 2021 everyone will use dark mode
Jules Hedges (Nov 24 2020 at 10:44):Oscar Cunningham said:
Black with a white outline?
Either this or its inverse is the only reasonable solution
Cole Comfort (Nov 24 2020 at 10:44):why not use a white charcter with a black box around it?
Matteo Capucci (he/him) (Nov 24 2020 at 10:56):Jules Hedges said:
This is even less of a solution. Now anyone using dark mode will use emoji that are completely invisible to everyone using light mode
Indeed :weary:
Matteo Capucci (he/him) (Nov 24 2020 at 10:57):Cole Comfort said:
why not use a white charcter with a black box around it?
The limit so far has been my utter illiteracy with GIMP
Matteo Capucci (he/him) (Nov 24 2020 at 10:57):I'm sure there's an easy way
Jason Erbele (Nov 24 2020 at 11:06):The original suggestion for darkyo was to have black with white outline, but I think something got lost in the translation when it was scaled down to emoji size. Also, Zulip's default mode is light mode, so anyone who hasn't bothered to mess with settings will be using light mode. :octopus:
Cole Comfort (Nov 24 2020 at 11:09):What about something like this yo.bmp
Cole Comfort (Nov 24 2020 at 11:11):I think having a black shadow is somehow more natural feeling than a white shadow
Nathaniel Virgo (Nov 24 2020 at 11:11):I feel there might be quite a lot of overthinking of this problem happening already, but another solution would be to use a colour other than black or white, so it stands out on both backgrounds.
Fabrizio Genovese (Nov 24 2020 at 11:59):Neon.
Nathanael Arkor (Nov 24 2020 at 12:01):I've added a new emoji :yo2:, which looks like this: 
Nathanael Arkor (Nov 24 2020 at 12:01):It seems to work well in both light mode and dark mode.
Jules Hedges (Nov 24 2020 at 12:01):Now Statebox has transitioned to more traditional/corporate/professional branding, Fabrizio is looking for a new creative outlet
Nathanael Arkor (Nov 24 2020 at 12:02):If this looks reasonable, we can replace :yo: with this one.
Fabrizio Genovese (Nov 24 2020 at 12:02):Jules Hedges said:
Now Statebox has transitioned to more traditional/corporate/professional branding, Fabrizio is looking for a new creative outlet
Neon glow is the global aesthetics of the last 3 years :grinning:
Fabrizio Genovese (Nov 24 2020 at 12:02):This huge 80s comeback is probably the only thing of 2020 that I'm happy about
Matteo Capucci (he/him) (Nov 24 2020 at 12:35):It's great 
Matteo Capucci (he/him) (Nov 24 2020 at 12:36):I'm positive to have a lot of versions of , as my first chatroom was MSN and duplication and trashification of emoticons was a huge deal there
Fabrizio Genovese (Nov 24 2020 at 13:45):Matteo Capucci said:
I'm positive to have a lot of versions of
We'll eventually have a comeback of that too in 10 years, guaranteed
Verity Scheel (Nov 25 2020 at 23:44):I created an animated HoTT emoji, with transforming into , for another workspace. Would you be interested in it here? I could make it night-mode compatible …
Eric Forgy (Nov 25 2020 at 23:48):You can't have a chat without 
:blush:
Peter Arndt (Nov 25 2020 at 23:50):Nicholas Scheel said:
I created an animated HoTT emoji, with transforming into , for another workspace. Would you be interested in it here? I could make it night-mode compatible …
Yeah man, bring it on!
Verity Scheel (Nov 26 2020 at 00:24):okay, here is the old version: 
I will try to figure out the process to create a new one again
sarahzrf (Nov 26 2020 at 00:27):a version with could also be cool
Verity Scheel (Nov 26 2020 at 01:38):new version: 
Oscar Cunningham (Nov 26 2020 at 08:12):Can you use emojis in ?
No.
Jason Erbele (Nov 26 2020 at 08:15):It might take a bit more work, but I can see the opportunity for a bit of creative use of the color schemes to make a night mode hide in the negative space of the day mode (or vice versa, depending on which scheme you are viewing Zulip under).
Jason Erbele (Nov 26 2020 at 08:16):It kind of works with . :rolling_eyes:
Jason Erbele (Nov 26 2020 at 08:20):(via $$2 + 2$$ :hott: $$4$$)
Matteo Capucci (he/him) (Nov 26 2020 at 09:53):
Verity Scheel (Nov 26 2020 at 20:19):Jason Erbele said:
It might take a bit more work, but I can see the opportunity for a bit of creative use of the color schemes to make a night mode
This is a good idea! I was thinking about it, but I didn't want to tie it to the specific background colors, but do you think that's okay? Maybe worth a shot.
Verity Scheel (Nov 27 2020 at 01:15):@Jason Erbele & @sarahzrf I uploaded the dark mode one (with ) as 
… I'm not sure I like the dark mode as much because it can't be aligned the same and sometimes the background is darker. Any suggestions?
sarahzrf (Nov 27 2020 at 06:11):hmm, dunno
sarahzrf (Nov 27 2020 at 06:11):but ty :)
David Sheets (Nov 27 2020 at 14:09):While I appreciate the hott emoji, I find the animation extremely distracting out of the corner of my eye. Do you know, is it possible to suppress emoji animation in zulip? If not, would it be terribly imposing/impossible to ask to not have animating emoji? Sorry to be a wet blanket...
Morgan Rogers (he/him) (Nov 27 2020 at 14:19):The corner of your eye? Are you keeping Zulip open and visible all the time? :open_mouth:
David Sheets (Nov 27 2020 at 14:21):Haha, no. I mean when reading other things in the same Zulip stream/merged stream. It's like having a math book with a bug crawling on the page opposite to an interesting equation.
Morgan Rogers (he/him) (Nov 27 2020 at 14:23):Ah I see what you're getting at. I wonder if there could be a way to implement the deactivation of animations...
James Wood (Nov 27 2020 at 14:28):The only possibly relevant option I can see is the one for custom CSS.
David Sheets (Nov 27 2020 at 14:30):Fwiw, I think it's the high contrast of the hott emoji in particular that causes my issue. The mind blown one that is also animating seems completely fine. Even the old animated GIF finite loop option would suffice, I think.
Matteo Capucci (he/him) (Nov 27 2020 at 15:26):Disabling gif animations seems a browser-level task
Matteo Capucci (he/him) (Nov 27 2020 at 15:27):If the distraction makes this chatroom unusable for you, we can dispense with the emoji
Otherwise, I think it's not gonna be a big problem unless people start to spam those in every thread, which I deem unlikely
David Sheets (Nov 27 2020 at 15:29):I can switch it to text-only emoji, I suppose. I guess it's a suggestion that individual user configuration/giving up emoji shouldn't be necessary to have a calm and focused communication medium. It may turn out to be completely fine because it is little used as you say and of course I can solve the problem for myself in my user agent one way or another.