Not just 70s and 80s, even 90s and 2000s. I grew up in 2000s thinking it is called Arturito, and I’m sure a lot of people (mostly non fans) think the same.
Not just 70s and 80s, even 90s and 2000s. I grew up in 2000s thinking it is called Arturito, and I’m sure a lot of people (mostly non fans) think the same.
Terrence Tao shared his thoughs on Mastodon: https://mathstodon.xyz/@tao/113132502735585408