Mexico City, Mexico

Stream: Geographic locality

[Samuel Lelièvre]

Miguel Raz Guzmán Macedo said:

Mexico City, Mexico / UNAM

Opening new thread "Mexico City, Mexico" (you posted in the Boston thread).

[Miguel Raz Guzmán Macedo]

Aqui andamos!

[Miguel Raz Guzmán Macedo]

Alright tomorrow is this post's :birthday: and I'm still the only one around here, but now starting with Lean4. Vengaaaa!

[Violeta Hernández]

¡Hola!

[Violeta Hernández]

I'm from Monterrey, but will be moving to Guanajuato in a few weeks

[Alfredo Álvarez (México)]

Good luck. Greetings from Guadalajara.

[Alfredo Álvarez (México)]

@sir Cris

[Roberto Alvarez]

Hola desde Cuernavaca! :wave:

[Violeta Hernández]

Hola!

[Miguel Raz Guzmán Macedo]

Hola desde Ciudad de México!

[Miguel Raz Guzmán Macedo]

Al fin hice "Functional Programming in Lean4", parece que ya está todo lindo para entrarle otra vez :D

[Luis Turcio]

Hola desde la Facultad de Ciencias de la UNAM.
Nuestro grupo es pequeño pero intentaremos reunirnos para seguir aprendiendo. Si les interesa nos podemos poner de acuerdo para leer algo o hacer algo en Lean

[Mario Xerxes Castelán Castro 🇲🇽]

Yo también soy de México.

[Violeta Hernández]

Nuestra pequeña comunidad crece :slight_smile:

[Alfredo Álvarez (México)]

@Luis Turcio ¡Hola! ¿tienen reuniones en línea? estoy en GDL.

[Violeta Hernández]

Nadie ha organizado nada que yo sepa, pero estaría genial hacer algo :slight_smile:

[Luis Turcio]

Hasta hace un par de semestres había un seminario, organizado por Lourdes González de la facultad de ciencias de la UNAM, para aprender Lean. No sé si este semestre vaya a continuar. En ese seminario también había gente conectada por Zoom

[Luis Turcio]

Tal vez podríamos aprovechar que aquí hay entusiasmo para organizar algo

[Patrick Massot]

Please note this website is English speaking only. We do tolerate a couple of words in other languages in this specific channel when greeting people. But please do not start actual public conversations in non-English languages. Don’t worry: broken English like my French version of English is totally fine, this is not an English literature contest :wink:

[Justin Asher]

Patrick Massot said:

Please note this website is English speaking only.

Is there precedent or a rule in writing for this?

I can understand the concern for more general discussion, but to require people who live in a Spanish-speaking country to discuss congregating in English seems like an unnecessary burden.

[Ruben Van de Velde]

The maintainers still need to be able to enforce the code of conduct and rules of the zulip

[Violeta Hernández]

Maybe the diplomatic solution is to make some other Spanish-speaking place of discussion?

[Snir Broshi]

Well there's a Discord for Lean which is less strict https://discord.gg/WZ9bs9UCvx, you could ask for a Spanish channel

[Patrick Massot]

Justin, if you want precedent you can browse all other threads in this channel to see they use (the international version of) English. I don’t remember whether we have it listed as an explicit rule somewhere (it’s hard to list all the obvious things in those rules).

[Justin Asher]

Ruben Van de Velde said:

The maintainers still need to be able to enforce the code of conduct and rules of the zulip

This is not written anywhere, as far as I am aware.

Patrick Massot said:

precedent you can browse all other threads in this channel to see they use (the international version of) English.

I meant precedent for explicitly requiring people to speak in English with the goal of meeting up to discuss Lean in countries where English is not the primary language.

Over 99% of the people living in Mexico City speak Spanish, whereas only ~10% speak English.

[Ruben Van de Velde]

I'm not sure what you're trying to accomplish with the rules lawyering

[Alfredo Álvarez (México)]

yes

[Alfredo Álvarez (México)]

Luis Turcio said:

Tal vez podríamos aprovechar que aquí hay entusiasmo para organizar algo

That'dbe cool yesh

[Alfredo Álvarez (México)]

Luis Turcio said:

No sé si este semestre vaya a continuar.

is there an email list or something I can join in case it does? thx

[Alfredo Álvarez (México)]

Ruben Van de Velde said:

The maintainers still need to be able to enforce the code of conduct and rules of the zulip

Oh I think I didn't get what you meant at first. In order to know whether the rules are being broken or not, moderators need to understand what is being said. Didn't occur to me. Excellent point.