Thanks, not sure where I got alt+tab from - I think ctrl+tab is actually the more common shortcut for tab switching nowadays.

I’m a programmer and I still use Kate mostly for notetaking and configuration editing. I tend to use other editors like VS Code when I’m doing more involved stuff.

As a years-long Kate user, I’d assume the answer to most of those features is “no”. It’s still mostly a code editor, not an IDE.

Neat. I’ve been using kate as my standard text editor for years, mostly because of the session management and because you can give it a pretty minimalist interface with some configuration (something that similar editors like Geany tend to struggle with). I honestly didn’t know that there was a searchable tab list, I’ve been using alt+tab ctrl+tab (which already has a much better UI than many other editors) but that definitely gets unwieldy when you have a ton of tabs open (which is always … don’t even ask how many browser tabs I have).

That really doesn’t solve the problem, like every other Firefox fork they’re completely dependent on Firefox. You can’t just make a new webbrowser just like that, and while third party developers can certainly disable some anti-features, there are limits to that and they can definitely not do the basic work that the Firefox devs do (or could do, if Mozilla had different priorities).

Ideally it would be financed by user donations. Probably not that realistic for a project like this, though.

Considering how little they invest into their core product compared to all the other shit and how much money the top brass earns despite declining market share, I don’t think they’re hurting for money that much.

Unfortunately, Mozilla is investing a ton of money into AI, too.

If you browse https://feddit.org/?dataType=Post&listingType=Local&sort=New, most posts are still in German.

The local feed looks very English to me …

If German lemmy is any indication, usually there isn’t more than one lemmy-instance per language (English being the obvious exception).

Really cool idea! Shame that none of my old devices seem to work with postmarketOS, but I’m tempted to try this with an old phone off ebay if I can find a cheap-enough one.

Measuring these uncustomized directly after booting is a pretty flawed metric, especially with something like KDE that has a lot of features that can be enabled or disabled. i.e. many features that are built into KDE might need external programs that are not included in the base install of LXQt or XFCE, and some stuff might get reused when you start opening LibreOffice, Firefox or a text editor (AFAIK this is definitely a thing if you use a lot of KDE/Qt applicatons). The desktop comparisons I saw during KDE 5.x had it at not that much more RAM use than XFCE, and I doubt this changed that much with KDE 6. Maybe something about Wayland, though? e.g. XWayland might eat additional resources. Also, the baseline RAM use seems really high when even XFCE uses 1.4GiB by default.

For the record, I use LXQt, not KDE.

I think Github is a relatively simple issue. There isn’t really a shortage of european (or just selfhostable) alternatives, and the way git works means that most contributors have complete local copies of the codebase. TBH I worry more about the ability of american contributors to continue working on a project if the code is hosted in europe - basically a lot of open source developer teams could end up being split or shut down entirely. And the bigger projects like Linux and a lot of the intermediate layers between the Linux kernel and applications are majorly backed and developed by american companies and their employees.

It would be dangerous to assume that the underfunded infrastructure is an accident, though.

I’ll be pleasantly surprised if the EU and its members don’t fumble this opportunity (both for themselves and for the scientists). Many EU countries are having a resurgence of anti-immigration sentiments and e.g. in Germany the immigration bureaucracy was already extremely awful before the recent shift to the right - it’s one thing to be shitty and stupid about refugees, but by what I hear from friends who have personal experiences it’s pretty bad for highly qualified people, too.

Who else is supposed to be on Roblox … ? Doesn’t really strike me as a popular game with teenagers or adults.

What about products from companies that are owned by US companies, though? e.g. Kraft, Mondelez. They own a lot of regional brands, such as Germany’s Milka.

And Hongkong, and India, and Tibet …

Since when does China give a shit about small countries? Are they trying to sway a UN vote or something?