Earlier quoted context omitted.
[flagged]
> On July 5 2017 2017 is not 1999
Given the start of this thread was about N, C, X etc ...
We could even say "2017 > 1999", giving an ordering over these numbers.
Unicode Character “𝕏” (U+1D54F)
71–80 of 308 posts
Re: Unicode Character “𝕏” (U+1D54F)
#72Musk can seem to do no right atm, I see a lot of hate out there with this name change and planned product expansion but I can’t quite understand why.
He’s taking an underperforming social network and trying to make it work. It might prove fatal, but it would have died a slow boring death in its old form. Perhaps its just that people don’t like his personality, which shouldn’t come into it.
Fwiw even prior to his defunding moderation it felt like one of the meanest places on the internet, I don’t see much of a change.
Re: Unicode Character “𝕏” (U+1D54F)
#73You can also access x.com when using the Unicode Character https://xn--971h.com (𝕏.com)
Are you sure? When I type https://xn--971h.com in it doesn't work, but clicking the link in your comment does because HN has made the href x.com. The browser converts 𝕏.com to x.com before going there too. Moreover, X and 𝕏 are treated as equivalent characters in this context, so whois 𝕏.com looks up x.com, and 𝕏.com's punycode encoding is x.com: https://www.whatsmydns.net/idn-punycode-converter?q=%F0%9D%9...
whois xn--971h.com returns the same thing as an unregistered domain.
Re: Unicode Character “𝕏” (U+1D54F)
#74Earlier quoted context omitted.
because elon renamed twitter to "x corp", bought the x.com domain and shoved this character on it.
He (or a company of his) has had the x.com domain for decades: https://en.wikipedia.org/wiki/X.com
Am I crazy or was x.com at one point x-drive, the early online storage company?
Re: Unicode Character “𝕏” (U+1D54F)
#75This is for math. In Latex, you get these symbols with \mathbb{}. They are most commonly used to represent to represent number sets, like the set of all integers Z (from the German), set of all natural numbers N, set of complex numbers C, set of all real numbers R, rationals Q (for “quotient”), set of quaternions H (named after Hamilton), or an unknown set F (for “field”). This explains why many of the letters in thi…
𝕏 is used as a symbol for a generic metric space. E.g. if your result is generic over ℝ², ℂ³, etc, you can write 𝕏.
I'm a PhD student in algebraic geometry and have seldom seen this. IME "X" is a generic name for all kinds of spaces (metric, topological, complex analytic, algebraic...), but I don't remember ever having seen "𝕏".
That said, in principal everyone is free to call their spaces how they like. It just makes it easier to read if one sticks to familiar notation.
Re: Unicode Character “𝕏” (U+1D54F)
#76Why is this a thread and not just a comment on https://news.ycombinator.com/item?id=36845111 ?
Re: Unicode Character “𝕏” (U+1D54F)
#77appropriate the new name is the universal symbol for close application
I've started telling people to "just 𝕏 out that window." You can hear the outline typeface in my voice.
Re: Unicode Character “𝕏” (U+1D54F)
#78Musk can seem to do no right atm, I see a lot of hate out there with this name change and planned product expansion but I can’t quite understand why. He’s taking an underperforming social network and trying to make it work. It might prove fatal, but it would have died a slow boring death in its old form. Perhaps its just that people don’t like his personality, which shouldn’t come into it. Fwiw even prior to his defu…
It's very hard not to take his personality into it since he chooses to force it in there. However, trying to be a bit dispassionate for a second, I'd say the haphazard nature of the changes are what really gets to people. Especially those who depend on Twitter as a tool, not knowing what it will be called tomorrow, how it will function, which parts will work and which wont, etc. is quite a deal-breaker.
Re: Unicode Character “𝕏” (U+1D54F)
#79Musk can seem to do no right atm, I see a lot of hate out there with this name change and planned product expansion but I can’t quite understand why. He’s taking an underperforming social network and trying to make it work. It might prove fatal, but it would have died a slow boring death in its old form. Perhaps its just that people don’t like his personality, which shouldn’t come into it. Fwiw even prior to his defu…
Because he keeps having these late-night binges of bizarre, brand-destroying decision making. Twitter is underperforming as a result of his previous rounds of bizarre, brand- and product-destroying decision making. Twitter wasn't dying until he came along to "fix" it.
Yeah, his personality is plenty objectionable too, but it's mostly the way he's seemingly intentionally running the company into the ground that I object to.
Re: Unicode Character “𝕏” (U+1D54F)
#80Interestingly, [w3.org Math Double struck] shows example glyph rendering with swapped double stroke stem ("//" + "\" instead of "\\" + "/").
Been looking what the "opf" in the `𝕏` HTML entity name of this kind of character means, and apparently it is "Open Face".
It is referenced at [wikipedia Blackboard bold] that mentions that "𝕏 Occasionally used to denote an arbitrary metric space. "
[w3.org Math Double struck]: https://www.w3.org/Math/characters/double-struck.html [wikipedia Blackboard bold]: https://en.wikipedia.org/wiki/Blackboard_bold