TIL (about the Dark Arts of HTML)
-
@kazitor It should be noted that in most other languages the name for United Kingdom is translation/transcription of Great Britain, approximately the same reason (when everything was a kingdom, united kingdom was too generic when it was not your own kingdom).
-
@Bulb the full name is The United Kingdom of Great Britain and Northern Ireland.
Or as we say over here: England
-
@topspin I'm from The Netherlands. Also known as Holland (actually two of twelve provinces). Or Amsterdam (actually one of hundreds of cities).
-
@PleegWat said in TIL (about the Dark Arts of HTML):
@topspin I'm from The Netherlands. Also known as Holland (actually two of twelve provinces).
Well of course, completely reasonable.
Or Amsterdam (actually one of hundreds of cities).
That's crazy, who would do such a thing?!
-
@topspin said in TIL (about the Dark Arts of HTML):
@PleegWat said in TIL (about the Dark Arts of HTML):
@topspin I'm from The Netherlands. Also known as Holland (actually two of twelve provinces).
Well of course, completely reasonable.
Or Amsterdam (actually one of hundreds of cities).
That's crazy, who would do such a thing?!
Don't worry. They named them all Amsterdam to avoid confusion.
-
@PleegWat said in TIL (about the Dark Arts of HTML):
@topspin I'm from The Netherlands. Also known as Holland (actually two of twelve provinces). Or Amsterdam (actually one of hundreds of cities).
North Holland is best Holland.
-
@PleegWat said in TIL (about the Dark Arts of HTML):
@topspin I'm from The Netherlands. Also known as Holland (actually two of twelve provinces). Or Amsterdam (actually one of hundreds of cities).
And Low Countries in French.
-
@Zerosquare said in TIL (about the Dark Arts of HTML):
@PleegWat said in TIL (about the Dark Arts of HTML):
@topspin I'm from The Netherlands. Also known as Holland (actually two of twelve provinces). Or Amsterdam (actually one of hundreds of cities).
And Low Countries in French.
And Hochhochplattdeutschland in the track where WWII went the other way.
-
@Zerosquare said in TIL (about the Dark Arts of HTML):
@PleegWat said in TIL (about the Dark Arts of HTML):
@topspin I'm from The Netherlands. Also known as Holland (actually two of twelve provinces). Or Amsterdam (actually one of hundreds of cities).
And Low Countries in French.
Hence the "Nether".
-
TIL. Didn't know that word meant "low".
-
@Zerosquare said in TIL (about the Dark Arts of HTML):
TIL. Didn't know that word meant "low".
"low" is a noise that cows make, ?
-
@PleegWat said in TIL (about the Dark Arts of HTML):
"Nether"
nether regions in British English
informal, humorous, euphemisticthe genitals
-
@loopback0 said in TIL (about the Dark Arts of HTML):
informal, humorous, euphemistic
For instance, a polite person will say, "I was struck in the nether regions", a rude person will say "he hit me right in the Holland".
-
This post is deleted!
-
Hey! Mentioning me and deleting your post before I can read it is cheating!
-
This post is deleted!
-
@Zerosquare said in TIL (about the Dark Arts of HTML):
Hey! Mentioning me and deleting your post before I can read it is cheating!
-
@Zerosquare said in TIL (about the Dark Arts of HTML):
Hey! Mentioning me and deleting your post before I can read it is cheating!
I hate when that happens.
-
If I understand it correctly, it uses some spare bytes (because most systems don't have 16 EiB; it's on aarch64) of the pointer to store a “generation”, marks memory blocks with current generation somewhere around the page tables, and increments the generation on allocation and deallocation, taking advantage of the fact that deriving pointer into one object from a pointer to another object has always been Undefined Behaviour in C and all higher level languages.
It should be available from Linux 5.4 when compiling with CLang/LLVM 9 and newer. When running on sufficiently new Aarch64 CPU, of course—which currently seems to be only the newest Apple ones.
Also, apparently the MTSan has, also Aarch64-only, predecessor HWASan that does it without the new instructions. It is Aarch64-specific, because Aarch64 has a mode that ignores the highest byte of pointers to make them more easily abuseable like this.
-
@Bulb canaries everywhere?
-
-
TIL about the stealth support for
.editorconfig
files on github. You can tell them that, yes, this project does actually use tabs and they're 4 characters wide…
-
@dkf said in TIL (about the Dark Arts of HTML):
this project does actually use tabs and they're 4 characters wide
The One True Way.
-
@Zecc said in TIL (about the Dark Arts of HTML):
@dkf said in TIL (about the Dark Arts of HTML):
this project does actually use tabs and they're 4 characters wide
The One True Way.
Python's fault, I'm guessing
-
@Gribnit No, Microsoft's. Python interprets tabs as 8 spaces as they've always been in Unix.
-
-
@Zecc said in TIL (about the Dark Arts of HTML):
Use 4 spaces per indentation level.
Coincidentally it's PEP8.
Yes, but that means four actual spaces, not
use tabs and they're 4 characters wide
because tabs are still interpreted as 8 characters wide.
-
@Bulb The proof is in the pudding. I concede.
-
@Zecc isn’t that up to the terminal?
-
@Gribnit said in TIL (about the Dark Arts of HTML):
@Zecc said in TIL (about the Dark Arts of HTML):
@dkf said in TIL (about the Dark Arts of HTML):
this project does actually use tabs and they're 4 characters wide
The One True Way.
Python's fault, I'm guessing
Python has nothing to do with this particular project (other than that it has sibling projects written in Python). Python projects are much better off being configured to always indent with spaces. This particular project is written in Java and uses a tab indentation rule (enforced by style checker).
-
@dkf said in TIL (about the Dark Arts of HTML):
@Gribnit said in TIL (about the Dark Arts of HTML):
@Zecc said in TIL (about the Dark Arts of HTML):
@dkf said in TIL (about the Dark Arts of HTML):
this project does actually use tabs and they're 4 characters wide
The One True Way.
Python's fault, I'm guessing
Python has nothing to do with this particular project (other than that it has sibling projects written in Python). Python projects are much better off being configured to always indent with spaces. This particular project is written in Java and uses a tab indentation rule (enforced by style checker).
So, what you're saying is, yes it's Python's fault, but really it's Guido's fault.
-
@Zecc said in TIL (about the Dark Arts of HTML):
@Bulb The proof is in the pudding. I concede.
That tab is interpreted by the terminal. What you need to test is a source with mixed tabs and spaces.
-
@dkf said in TIL (about the Dark Arts of HTML):
This particular project is written in Java and uses a tab indentation rule (enforced by style checker).
If you indent with tabs, and only with tabs, it does not really matter how wide they are, the indentation will always come out right, just the code will shift to the right more or less. When it starts to matter is when you do things like aligning under opening parenthesis. You shouldn't do that when indenting with tabs.
It also matters for many traditional Unix programs that are indented by 4 (or even 2) spaces, but every 8 spaces is replaced by a tab to save space. It's still the default in EMACS and VIM.
-
@Bulb said in TIL (about the Dark Arts of HTML):
@dkf said in TIL (about the Dark Arts of HTML):
This particular project is written in Java and uses a tab indentation rule (enforced by style checker).
If you indent with tabs, and only with tabs, it does not really matter how wide they are, the indentation will always come out right, just the code will shift to the right more or less. When it starts to matter is when you do things like aligning under opening parenthesis. You shouldn't do that when indenting with tabs.
Well, from the philosophical ivory tower perspective the only correct style is to indent with tabs (doesn't matter how wide your editor interprets them except when it comes to max line length style rules) and align with spaces. But since it's practically impossible to get everyone on board with this and do it right, the next best thing in the real world is do what PEP8 does and get right of tabs altogether.
-
@topspin Yes, I agree. Indent with spaces is the option that works best in practice. Also, run the code through a formatter (configured to whatever the team is willing to agree on) and just leave it that way.
-
@Bulb said in TIL (about the Dark Arts of HTML):
Yes, I agree.
this is not how this topic is handled.
-
@Gribnit This is a general category thread, not a trolleybus garage one. Agreeing is permitted here.
-
@topspin said in TIL (about the Dark Arts of HTML):
since it's practically impossible to get everyone on board with this and do it right
This is among the first principles:
"We can't have nice things."</letters-of-fire>
This is also why the Web exists and not Xanadu.
-
TIL that through the power of trademark, the Tetris Company has an exclusive right to use the public domain song Korobeiniki in a video game.
As if I needed another reason to hate IP laws.
-
@Gąska said in TIL (about the Dark Arts of HTML):
TIL that through the power of trademark, the Tetris Company has an exclusive right to use the public domain song Korobeiniki in a video game.
As if I needed another reason to hate IP laws.
TIL TIL has been registered as a trademark of Tyl, a disruptor in the POS space.
-
@Gąska said in TIL (about the Dark Arts of HTML):
TIL that through the power of trademark, the Tetris Company has an exclusive right to use the public domain song Korobeiniki in a video game.
The mark is a sound. The mark consists of an electronic sine wave playing a tune based on a Russian folk song named Korobeiniki. The notes played are E (quarter note), B (eighth note), C (eighth note), D (quarter note), C (eighth note), B (eighth note), A (quarter note), A (eighth note), C (eighth note), E (quarter note), D (eighth note), C (eighth note), B (three-quarter note), C (eighth note), D (quarter note), E (quarter note), C (quarter note), A (quarter note), A (half note), quarter rest, D (quarter note), F (eighth note), A (eighth note), A (eighth note), G (eighth note), F (eighth note), E (three quarter note), C (eighth note), E (quarter note), D (eighth note), C (eighth note), B (quarter note), B (eighth note), C (eighth note), D (quarter note), E (quarter note), C (quarter note), A (quarter note), A (half note).
They couldn't even get it right. The classic Game Boy and NES versions use a square wave, not a sine.
(I'm wondering if you could transpose it two semitones up or down, and tell the judge: "look, we're not infringing, the notes are all different". Probably not, but .)
-
@Bulb said in TIL (about the Dark Arts of HTML):
That tab is interpreted by the terminal.
As it should be.
IIRC the tab size was user configurable on the VT420.
I can't check it though, because I haven't touched one of those in at least 20 years.
-
TIL that the lead composer for FFXIV, Masayoshi Soken, composed at least one of the more recent tracks...from the hospital where he was undergoing treatment for cancer. Without telling anyone but the producer that he was sick. So as "not to worry the other devs". They didn't find out until the event yesterday where he spoke about it and that the cancer is in full remission now (thankfully). The rest of the staff broke down in tears at the news.
That's...something. Insanity? Dedication? Insane dedication?
That's one thing I appreciate about that game. The devs (at least the higher up ones) are fully invested in it personally. For instance, the lead producer plays both on an "official" character and on a private one (whose name isn't known to the community and doesn't have any special privileges). As, from what I've heard, so do a bunch of the others. They have an in-house band (made up of Soken, the lead of the English translation team and some of the other devs).
-
@Benjamin-Hall said in TIL (about the Dark Arts of HTML):
That's...something. Insanity? Dedication? Insane dedication?
It might've also been something he liked doing to take his mind off worrying about his health. Composing, like programming, requires concentration rather than intense physical effort.
-
@Benjamin-Hall said in TIL (about the Dark Arts of HTML):
That's...something. Insanity? Dedication? Insane dedication?
The word you're looking for is Japan. Corporate life in Japan.
-
@Gąska said in TIL (about the Dark Arts of HTML):
@Benjamin-Hall said in TIL (about the Dark Arts of HTML):
That's...something. Insanity? Dedication? Insane dedication?
The word you're looking for is Japan. Corporate life in Japan.
When I heard, I definitely had a moment of "well, that's very...Japanese". But I think this goes beyond that.
-
@Benjamin-Hall said in TIL (about the Dark Arts of HTML):
@Gąska said in TIL (about the Dark Arts of HTML):
@Benjamin-Hall said in TIL (about the Dark Arts of HTML):
That's...something. Insanity? Dedication? Insane dedication?
The word you're looking for is Japan. Corporate life in Japan.
When I heard, I definitely had a moment of "well, that's very...Japanese". But I think this goes beyond that.
Nope. That's just how beyond it goes.
-
TIL that until 2017, Illinois had a law that restricted use of crossbows in hunting to people aged 62 or above. And it's not a "born before year..." thing - it's literally just 62 years old, and it's been like that for many years. I'd love to hear the reasoning behind it.
-
@Gąska offset the flatulence with a stealth weapon.
-
@Gąska said in TIL (about the Dark Arts of HTML):
I'd love to hear the reasoning behind it.
It's a grandfather clause