fmoralesc

"Do finish the house chores" is more naturally taken as a command, so the question is whether it should be assigned a truth value at all. It is linked to some normative claims that would plausibly be truth-valued: "you are permitted to play Minecraft only if you finish the chores", or perhaps "you ought to finish the chores, or you are not permitted to play Minecraft". The former is equivalent to the original sentence only if we take "can't" as expressing lack of permission (which it may not): "if you don't finish house chores, you can't/are not permitted to play Minecraft".

> Gnome just removed the middle-click paste option. Is that because they fixed the clipboard situation on Linux, and there's a universal, unambiguous way of cut and paste that works across every application? No. It's because middle-click to paste is an "X-ism." This is just demagoguery and unserious.

They disabled it by default. You can enable it if you want.

You can use typst locally and bypass the commercial bits. It is really easy to create different kinds of documents with it. I have been using it to create slides and handouts, and for that I already find it much easier to use than the alternatives.

Any Turing-complete language should be able to express programs that do this.

I read it recently and while the ideas are there, it is not a great read (the dialogues in particular are pretty bad).

Not just not GNU: they also ditch systemd for dinit, syslog-ng and a bunch of homegrown plumbing:

> We are also putting a lot of effort into writing fresh low-level plumbing. For example, Chimera comes with first-class and built-in support for user services and other things dependent on session tracking (such as a shared session bus), implemented from scratch thanks to our Turnstile project, finally bringing functionality previously only available on distributions using systemd. This is being implemented in a vendor-independent manner so that other distributions can adopt it.

> For all of modern human history, work has been limited to screens.

Is this a parody?

The far right can only infest.

AZERTY is plainly the worst.

I got 44.

The compositor (mutter) provides support for global hotkeys.

If one thinks that certain mathematical are mere constructions, one might also reject certain mathematical methods. Take intuitionism as a case: Brouwer thought that mathematics was the product of the human mind, and restricted maths to whatever is constructible in a very strict sense. Finitism adds even further constraints, disallowing infinitary methods altogether. In these cases, the position seems to be that we cannot hold on to the usual commitment to mathematical entities.