Spanish NNG

Stream: general

[Violeta Hernández]

Just creating this thread as a marker that I am indeed working on this.

[Violeta Hernández]

Also, a question. There seems to be some sort of stub Spanish translation already? But it doesn't seem to be in the repo, and I don't know how to modify it.

[Violeta Hernández]

I'd like to change this, for example. The words don't have the correct declension (should be normales/relajadas/ninguna)
image.png

[Violeta Hernández]

But Ctrl+F relajado on the repo yields no results. What's going on?

[Violeta Hernández]

@Kevin Buzzard

[Kevin Buzzard]

I'm afraid I have no idea about how translations work.

[Violeta Hernández]

Anyone I could ask?

[Kevin Buzzard]

All I can say is "look at the last two PRs I merged (yesterday) to see how to add a Ukrainian translation" and then "now perhaps poke around to see if there are analogous files in es subdirectories corresponding to the uk (:= Ukrainian, not United Kingdom, we're en) directory.

[Yaël Dillies]

Violeta Hernández said:

I'd like to change this, for example. The words don't have the correct declension (should be normales/relajadas/ninguna)
image.png

This seems to be part of the interface, not of NNG itself

[Violeta Hernández]

Is there a separate repo for that?

[Violeta Hernández]

There is!

[Kevin Buzzard]

lean4game

[Kevin Buzzard]

oh dear, so should I be telling my Ukrainian contacts to make PRs to that repo too??

[Yaël Dillies]

I suspect so! Right now, the content of the game is translated, but not the interface. Definitely better than before, though!

[Violeta Hernández]

I wonder if the interface was machine-translated, I find a few of these translations quite clunky

[Violeta Hernández]

I guess I'll start by doing a PR there

[Kevin Buzzard]

My understanding of the Chinese translation of NNG is that there are suspicions that it was machine-translated, but I figured that it was far better than nothing!

[Aaron Liu]

I'll take a look

[Violeta Hernández]

Hm, I have a question about the translation. Should we use formal language/conjugations? I get the impression that the vibe is supposed to be more laid back.

[Kevin Buzzard]

well if you're doing the translation then you get to add your own vibe :-)

[Violeta Hernández]

I'm nearly confident formal language is excessive and jarring for a game setting like this. I am somewhat biased though; as I understand it Latin Americans (like me) tend to use it much less than speakers from Spain do. Are there any other Spanish speakers here I could ask for comment?

[Violeta Hernández]

I at least know of @María Inés de Frutos Fernández and @Bernardo Anibal Subercaseaux Roa

[María Inés de Frutos Fernández]

I think informal language should be fine.

[Kenny Lau]

which spanish variety should it be translated to?

[Violeta Hernández]

We don't have a British English NNG, so I don't think we need both a Latin American/Spanish NNG.

[Kenny Lau]

I'm just wondering if you would use tú or usted

[Violeta Hernández]

Oh yeah, that's what I was asking when I asked about formal language

[Kenny Lau]

also is there somewhere that i can see your partial translation?

[Violeta Hernández]

I'll be periodically updating my fork https://github.com/vihdzp/NNG4

[Violeta Hernández]

The Spanish text translated "Heinrich Heine University Düsseldorf" as "Heinrich-Heine-Universität de Düsseldorf"

[Violeta Hernández]

There is no way a human did that

[Violeta Hernández]

Oh actually, there's a set game translated into Spanish I can use as reference!

[Violeta Hernández]

...it's not a very good translation

[Violeta Hernández]

"pulsa le tecla" really?
image.png

[Violeta Hernández]

The game also seems to alternate between formal and informal language

[Violeta Hernández]

That's not good

[Aaron Liu]

oh no

[Aaron Liu]

maybe you should fix it

[Violeta Hernández]

One thing at a time!

[Violeta Hernández]

I should probably do the NNG first

[Violeta Hernández]

Just did a PR for the lean4game interface. It'd be great if a native Spanish speaker could review it. Left some comments about why I tweaked the translations the way I did.
https://github.com/leanprover-community/lean4game/pull/334

[María Inés de Frutos Fernández]

Thanks for improving this translation! I left a few comments.

[Kevin Buzzard]

Violeta Hernández said:

We don't have a British English NNG, so I don't think we need both a Latin American/Spanish NNG.

I think you'll find that actually we don't have an American English NNG :-)

[Andrii Kurdiumov]

@Kevin Buzzard I already send Pr to lean4game before NNG4. I also submit 2 additional PRs (which are still sitting) about what potential pain point with translation and to what pay attention if asking for review.

Except these 2 repos no need to do anything for Spanish translation I believe. Obviously if you want work on other games you should go to other repos too