Jordi @JordiGH@mathstodon.xyz

@ColinTheMathmo I lived in Mexico City from birth until I was 18, then again from the ages of 23-30. I went for 12 years to a posh English-language school where all classes were in English except some requirements like Mexican history and Spanish literature. So I am native in both Spanish and English.

I haved lived in Montreal for close to a decade, so I picked up French informally from the streets. I also studied a bit of Russian because I dated a couple of Russians, in both my cities.

Alright, let's try doing one of these #introductions.

I'm a #Mexican #expat in #Canada (can I call myself that or should I call myself an immigrant?). I like #mathematics, #knitting, #swimming, #skating, and #linguistics, none of which I do professionally. I am officially still a #GNU maintainer for #Octave (free #Matlab replacement).

Professionally, I work on #greenhousegas assessments and #environmental #mapping. The details of which are rather boring.

Let me just say this loud and clear: if there is anything I am doing or saying that is causing you any kind of grief or discomfort, please just let me know so I can amend my conduct. I want to be nice to people, and I can't always tell when I am not being nice.

#nowplaying 🎶 UN POQUITO DE BENZINA PARA TU LINDO COCHÉ JUANITO EL NICANOR ESTA PA PRETO PARA QUE QUEDES EL MEJOR 🎵

(Note: the authors seemed to have intended this to be Spanish, but it's pronounced like half-gibberish.)

https://www.youtube.com/watch?v=IlrIRahS81A

So my coworker's toddler has decided to join the #amwriting movement...

The ham and bacon jokes around Uncle Pey'j are getting kind of weird. Jade says, "stop, I'm getting hungry", wtf??? She's thinking of cannibalising her companion?

We don't go around in the real world talking about how our friend's flesh makes us hungry; why do it in this fictional world?

So I started playing a bit of the Spanish dub, and wow, the voice acting in Spanish is really good too. Spain's voice acting tends to be really good and I generally like their translations too.

Sometimes I miss the old Latin American internationalisations that made an effort to localise stuff like character names. Fred Flintstone will always be Pablo Picapiedra to me.

Silly videogame, silly soundtrack, silly minigames!

https://www.youtube.com/watch?v=A_efsy7j3OQ

Just once I'd like to open a tech company's website and have it tell me right away what are they selling and not tell me how vaguely great and vaguely happy and vaguely awesome my life will be if I have a sales call with them.

"I'm impressed -- her gestures are pretty much what I'd expect from someone actually teaching this proof. Did they use a math double for this scene?"

I love this YouTube comment. I want to be a math stunt double in the movies too.

The titular salamander of the lemma, front and centre. They even drew little feet on it.

Huh, the Salamander lemma:

https://arxiv.org/abs/1108.0958

"If you don’t like diagram chases, it’s likely that you still won’t like them once you know the Salamander lemma. The salamanders chase the diagrams for you, but you still have to chase the salamanders. I think the salamander proofs are easier to explain (once you know the Salamander lemma), and it’s easier to see where you use the hypotheses. "

https://sbseminar.wordpress.com/2007/11/13/anton-geraschenko-the-salamander-lemma/

Look at her, that actress, perfectly explaining that diagram chase. Draws the right arrows too. Points at all the right parts of the diagrams. Pronounces everything correctly. Correctly dismisses the snotty student's objections. And the other actor even calls it a diagram chase.

Was the screenwriter a grad school dropout or something?

I've wondered why does an otherwise unremarkable movie have the most realistic depiction of an algebraic #proof. Seriously, it's so realistic that I've referred to it a couple of times to remind myself how this proof goes. Why does this dinky little movie have the most realistic fictional mathematician ever?

https://www.youtube.com/watch?v=etbcKWEKnvg

Mathematicians, I have a confession...

I've never actually performed a diagram chase.

But I've followed several chases, and I think... isn't there a better way? Sometimes I marvel that chases work at all, but it seems to me that they do because the definitions are all just set up in the right way. The real work was in the definitions, not in the chases.

So aren't there "deeper", more insightful proofs than the canonical diagram chases?

Have you let Mercurial into your heart?

My prediction: after a few months of blog posts and uncertainty, github will change very little under Microsoft and will remain the dominant and default code hosting platform for many years to come.

What we said: you should try to make an effort to use language and attitudes that encourage participation from people different from you in gender, ethnicity or ability.

What you heard: it is a sin to be a white male and you should be ashamed for being born.

Jesus hell, this is like responding to "black lives matter" with "all lives matter" and not seeing at all the problem with that.

I wish someone would make a comic about this. I picture this:

1st panel: Black person says "black lives matter"

2nd panel: Non-black man stands on a podium and starts yelling ALL LIVES MATTER with his speech ballon running over black person's speech ballon

3rd panel: Non-black man's speech balloon swallows the entire panel.

NO GENDER ALLOWED KTHX TAKE YOUR GENDER ELSEWHERE

https://github.com/rosarior/Code-of-Merit/blob/master/CODE_OF_MERIT.md

That's great it starts with a git sale

Doubt, fear, no avail

Linus T is not afraid.