Hexapus

Stream: general

[Mario Xerxes Castelán Castro 🇲🇽]

Is there a name for the Hexapus mascot of Lean?
hexapus-not (lean-lang.org).png

[Gavin Zhao]

Oh THAT's where the octopus emojis come from? The more you know...

[Edward van de Meent]

actually, i suspect it's the other way around... not sure tho

[Gavin Zhao]

Poor little guy doesn't even appear on the front page :sob:

[Gavin Zhao]

I had to go to https://lean-lang.org/community/ to find him/her/them.

[Edward van de Meent]

yea, it is not an officieal mascot afaik... more of a community thing

[Mario Xerxes Castelán Castro 🇲🇽]

I see.

[Ashley Blacquiere]

@Sofia Rodrigues created it! It was inspired by :octopus: and everyone at Lean FRO liked it, so we adopted it, though not as an official mascot.

[Mario Xerxes Castelán Castro 🇲🇽]

I love it.

[Wrenna Robson]

I still think it should be called Nael.

[Wrenna Robson]

And it deserves official status.

[Johan Commelin]

The octopus comes from Zulip and Recurse:

• http://aristobit.com/blog/pages/in-an-octopus-s-garden-with-you/
• https://www.joeychu.com/zulip

[Sofia Rodrigues]

The idea for Nael was just the :octopus: emoji with a blue color scheme to match the "Lean brand". I need to draw it more :P, but I’m pretty busy right now. This is the last drawing I made of him. I’m trying to find a better design.

image.png

[Mirek Olšák]

Someone with the permission could add Nael as a custom emoji. Here, I removed the background.
nael-trans-bg.png

[Mario Xerxes Castelán Castro 🇲🇽]

Sofia Rodrigues ha dicho:

The idea for Nael was just the :octopus: emoji with a blue color scheme to match the "Lean brand". I need to draw it more :P, but I’m pretty busy right now. This is the last drawing I made of him. I’m trying to find a better design.

image.png

Can you put a turnstile (⊢) somewhere?

[Wrenna Robson]

Sofia Rodrigues said:

The idea for Nael was just the :octopus: emoji with a blue color scheme to match the "Lean brand". I need to draw it more :P, but I’m pretty busy right now. This is the last drawing I made of him. I’m trying to find a better design.

image.png

This is very cute.

[Wrenna Robson]

I think they (rather like Ferris I think Nael should use any pronouns) need to be a little more "iconic".

[Wrenna Robson]

Given that they are a hexapus, I am wondering what a top-down look inside a hexagon would look like.

[Wrenna Robson]

Cute eyes looking upwards!

[Patrick Massot]

Is it only me, or do they look a bid sad?

[Chris Henson]

I interpreted it as a kinda shy expression. (They do have the whole Lean Zulip looking at them after all.)

[Mario Xerxes Castelán Castro 🇲🇽]

Patrick Massot ha dicho:

Is it only me, or do they look a bid sad?

I think he looks a bit distressed, not necessarily sad, in the first image in the thread but not in this one #general > Hexapus @ 💬

[Violeta Hernández]

Nael is a great name because it rhymes with Yaël :rofl:

[François G. Dorais]

Is it nah-EL or NAY-el? Or other?

[Aaron Liu]

I thought it would be one syllable

[François G. Dorais]

As in Nel?

[François G. Dorais]

Or Nail?

[Aaron Liu]

as in Nael