I enjoy modding stuff in Copenhagen, Denmark.
In any non-empty, finite interval on the real number line, there are uncountably infinitely many numbers = people in this thought experiment. If you think of physical space as continuous, we cross infinitely many points in any finite movement.
I’d like to see one of the numerous paradoxes you refer to.
I think that wad the premise, yeah.
Any non-empty interval on the real number line holds uncountably infinitely many points.
But getting anywhere on the lower track will kill infinitely many people. You cannot kill finitely many people on the lower track. Well, unless you derail at exactly the first. On the upper track, a stop at any point will have killed only finitely many.
“Eventually” on the densely packed track - even if almost instant - means uncountably many deaths. On the upper track, any eventual stop will result in only finitely many deaths.
If the leading wheels are allowed to continue any interval down the original track, uncountably infinitely many people die.
Every finite trolley passes infinitely many points when moves, if you accept space as infinitly divisible (structured as the real numbers).
TIL! Thank you!
I think you have to alternate the quotations you use between doubles and singles, pairwise. Else the first pair is closed after --format.
So you have to use a pattern like “command level 1 ‘level 2 “level 3” more level 2’ more level 1”
Does that make sense?
I agree. But I’m Danish, where zero is called nul and and Ø is in the alphabet, so I try to cool ot a bit with the coolness.
Which of the infinities? There are many, many :D
The smallest infinity is the size of the natural numbers. That infinty, Aleph zero, is smaller than the infinity of the real numbers, Aleph one. “etc.”
I have the same, but Netflix is then a miserable experience on my 4K TV.
At work, we use Racetrack, if that counts. It works quite well.
Ah, sorry, now I get it! I didn’t read properly. And using KDE Activities would be a bit to overkill perhaps.
I did. I wanted more. I wanted ln -sf.
Theming, controlled one central place.
This goes for both Gnome (GTK, Qt, Gnome Shell) and Sway (GTK, Qt, Sway, Rofi, Waybar…)
Sway allows you to assign apps to workspaces.
Hyper + [whatever]
If you are ready to use a bit of remapping (try keyd, it’s awesome), then you can remap a key you rarely use to Hyper to get that as a direct modifier.
You can also assign some key to activate a layer when held, but still return it’s regular output when tapped. So e.g. holding A gives you a new layer, press-and-release just prints A.
In the new layer, you can then set, say, f1 = f13... f12 = f24 and, say, esc = katakana etc., thereby getting access to a lot of keys not present on standard western keyboards, therefore not used as standard shortcuts. These you can then use directly, or in combination with standard modifiers like Ctrl, Shift…
lf sounds interesting, too. Haven’t tried it yet. The link is a guide on migrating from ranger.
Maybe Vanilla OS will be of interest?