| ▲ | bstsb 7 days ago |
| ironic that unicode is stripped out the post's title here, making it very much wrong ;) for context, the actual post features an emoji with multiple unicode codepoints in between the quotes |
|
| ▲ | dang 6 days ago | parent | next [-] |
| Ok, we've put Man Facepalming with Light Skin Tone back up there. I failed to find a way to avoid it. Is there a way to represent this string with escaped codepoints? It would be both amusing and in HN's plaintext spirit to do it that way in the title above, but my Unicode is weak. |
| |
| ▲ | NobodyNada 6 days ago | parent | next [-] | | That would be "\U0001F926\U0001F3FC\u200D\u2642\uFE0F" in Python's syntax, or "\u{1F926}\u{1F3FC}\u{200D}\u{2642}\u{FE0F}" in Rust or JavaScript. Might be a little long for a title :) | | | |
| ▲ | Mlller 6 days ago | parent | prev [-] | | That would be … "\u{1F926}\u{1F3FC}\u200D\u2642\uFE0F".length == 7
… for Javascript. | | |
| ▲ | dang 6 days ago | parent [-] | | I can actually fit that within HN's 80 char limit without having to drop the "(2019)" bit at the end, so let's give it a try and see what happens... thanks! | | |
|
|
|
| ▲ | cmeacham98 7 days ago | parent | prev | next [-] |
| Funny enough I clicked on the post wondering how it could possibly be that a single space was length 7. |
| |
| ▲ | eastbound 7 days ago | parent | next [-] | | It can be many Zero-Width Space, or a few Hair-Width Space. You never know, when you don’t know CSS and try to align your pixels with spaces. Some programers should start a trend where 1 tab = 3 hairline-width spaces (smaller than 1 char width). Next up: The <half-br/> tag. | | |
| ▲ | Moru 7 days ago | parent [-] | | You laugh but my typewriter could do half-br 40 years ago. Was used for typing super/subscript. |
| |
| ▲ | ale42 7 days ago | parent | prev | next [-] | | Maybe it isn't a space, but a list of invisible Unicode chars... | | |
| ▲ | yread 7 days ago | parent | next [-] | | It could also be a byte length of a 3 byte UTF-8 BOM and then some stupid space character like f09d85b3 | |
| ▲ | robin_reala 7 days ago | parent | prev [-] | | It’s U+0020, a standard space character. |
| |
| ▲ | c12 7 days ago | parent | prev | next [-] | | I did exactly the same, thinking that maybe it was invisible unicode characters or something I didn't know about. | |
| ▲ | timeon 7 days ago | parent | prev | next [-] | | Unintentional click-bait. | |
| ▲ | aaron695 6 days ago | parent | prev [-] | | [dead] |
|
|
| ▲ | Phelinofist 6 days ago | parent | prev | next [-] |
| Before it wasn't, about 1h ago it was showing me a proper emoji |
|
| ▲ | 7 days ago | parent | prev [-] |
| [deleted] |