"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.
1) I have been using typst to create slides with some success. Adding special features tends to be simpler than in beamer.
2) cetz (https://github.com/cetz-package/cetz) works quite well and is comparable to tikz in complexity and capability. of course, there is more support for tikz, but it is bound to improve over time.
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.
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.
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.
The problem is that if your definition of knowledge requires only three conditions (belief, truth and justification), then it has counterexamples, namely, the Gettier cases. So we need to either revise our concept of justification (for example, make it so that a knowledge-apt belief is justified only if it is for the right reasons -- but then, how to account for justified but false beliefs?), look for ways to supplement the analysis with additional conditions (for example, that the conditions are satisfied in a robust ways counterfactually), or reject the idea that knowledge can be analyzed altogether.
To make it more concrete how this sort of thing can get complicated quickly, consider your own explanation of the case. As I take it, you think that the issue is that "the justification is faulty". But how is it faulty, besides not being true (remember, we have reasons to want justification to not imply truth)? And also, there are Gettier-like cases where we cannot say that justification is faulty or where we can't find false premises (for example, cases where it seems like the problem is that the individuals in questions are not in an appropriate environment, see [here](https://en.wikipedia.org/wiki/Gettier_problem#False_premises...)).
One assumption there is that testimony can provide you with justification. We are told by the article that Edmund Gettier has died earlier this year, and we seem to be justified in believing that. In that case, let's assume, justification and truth matches. But this isn't the case always. You may see that the color of the wall is red, for example, and may feel prima facie justified in believing that the wall is red. But it may be the case that, unknown to you, there is a red light projected over the wall, which is actually cream color. In an absolute sense, you are wrong, but your belief is still justified. 'Justified' and 'true' are used for different purposes.
Gettier cases are not cases where erroneous logic leads to a correct conclusion. The reasoning in a Gettier case can be perfectly fine; this is why the belief of Gettierized subjects remains justified. The issue is, rather, that because of "luck" there is a risk for reasoning/belief formation mechanism to go wrong, at the same time that it turns out to have produced a correct/true belief. The issue derives from there being a gap between a proposition being justified and it being true (Linda Zagzebski has a great paper that shows that whenever that is the case, you will end up with an analogous problem).
GTK3 isn't deprecated (like GTK2 is), and there is no rush to port things to GTK4 yet. In terms of it being 'pre-alpha' (besides the docs, which in my experience before was always lagging behind), everything in the roadmap is basically done: https://wiki.gnome.org/Projects/GTK/Roadmap/GTK4
On the other hand, the changes in Gnome 40 were not as massive as the change from 2 to 3, and to me at least the change felt more incremental than disruptive (of course, the transition period is always a bit rough, some non-essential extensions for gnome-shell didn't work for me after the change, but eventually everything I needed was ported--I even dropped some extensions). I feel that saying that 'a lot of the work from 3 was thrown away' is an overstatement.
I had no connection to the ZZT community, and I loved the ZZT book. I think it captures very well the feeling of being a sort of outcast and trying to express oneself through art. I always remember the bit about being excited about a project and then waking up to the next day and feeling just so... inadequate to the task.
First, you check if the instance that you are subscribing to caters to your interests - signing up to a random instance is bound to be useless. Then you can just follow people from the local feed, or something that catches your fancy from the global feed. And if you find a mastodon user from a different instance that you are interested in (maybe in a google search), you can follow them and the system will redirect you so your instance connects you to them.