It's almost sure to be the case, but nobody has managed to prove it yet.

Simply being infinite and non-repeating doesn't guarantee that all finite sequences will appear. For example, you could have an infinite non-repeating number that doesn't have any 9s in it. But, as far as numbers go, exceptions like that are very rare, and in almost all (infinite, non-repeating) numbers you'll have all finite sequences appearing.

Well, Columbus himself didn't conquer much. He established a few settlement, but the real conquering was done by others.

More accurate comparison would be:

Describe Hernan Cortez in one word.

(GPT-4) Conquistador

I guess it's simply the framing: It was a not very actively maintained open source project. So they've decided to turn it over to a new maintainer. Calling that 'donation' is a bit pushing it

competition too intense

dangerous technology should not be open source

So, the actionable suggestions from this article are: reduce competition and ban open source.

I guess what it is really about, is using fear to make sure AI remains in the hands of a few...

after allowing him and his brother, 10, to walk home unaccompanied by an adult from a nearby grocery store.

Wtf, are kids 10 and 7 not old enough to walk by themselves to the grocery store now?

On the one hand, doas is simpler. Less code means less bugs, and lower chance someone manages to hack it and gain admin rights. On the other hand, sudo is more popular, and so has a lot more people double-checking its security. Ultimately, I don't think it matters - when someone unauthorized gains admin rights, usually it's not due to bug in sudo or doas, but other problems.

I'm confused - why is Microsoft trying to - or expected to, by the article authors - patch a vulnerability in GRUB?

To me, the smaller userbase is actually a real problem. I'm willing to stick it out and hope it grows. But for over half of the subreddits I subscribe to, the corresponding lemmy communities have 0 posts this last week.

Yes, I don't need 10k comments on my posts. But memes or mainstream news was never the big value of reddit for me - I can get these anywhere. Instead it is about the niche communities with a few thousand subscribers. And for now, I still have to use reddit for them.

Seems effective, at about 1.25 fake internet points per minute so far...

AI that can auto generate all those command line arguments I keep forgetting? Sure.

Closed source terminal that requires account? No way.

In September the NixOS constitutional assembly should finish their work, and the community will be able to elect governance. I'm guessing that's when the drama will start getting resolved.

In the meantime, there are multiple maintainers that have left because of the drama - which is more troublesome than the board members leaving - but nixpkgs has a LOT of maintainers, and there are new ones joining all the time. It's still healthy and won't implode so quickly.

Meta calls its penalty a ‘tariff’

That's a retaliatory tariff. Meta broke the law, and the EU retaliated.

No.

• A pen manufacturer should not be able to decide what people can and can't write with their pens.
• A computer manufacturer should not be able to limit how people use their computers (I know they do - especially on phones and consoles - and seem to want to do this to PCs too now - but they shouldn't).
• In that exact same vein, writers should not be able to tell people what they can use the books they purchased for.

.

We 100% need to ensure that automation and AI benefits everyone, not a few select companies. But copyright is totally the wrong mechanism for that.

That is why I use just int main(){...} without arguments instead.

threads.net is currently blocked. You can see a complete list of blocked instances here. There was a discussion about this when threads first announced plans to federate.

And who hasn't contributed any code to this particular repo (according to github insights).

Linux can totally do that. Even if your distro doesn't package it, you can always install spyware from source.

And they're all with different commit message:

"switched arse to bottom to create a more uplifting vibe"

"took arse out and put bottom in to keep my language warm and friendly"

"thought bottom would sound a lot nicer than arse, so I used it"

And so on..

To be fair, most people can't actually self-host Deepseek, but there already are other providers offering API access to it.

Also, bundling extensions with the browser is not the way to cater to power users - they will install the extensions they want anyway.

If gecko became embeddable (or better yet, servo was finished), so users could make alternative firefox-based browsers, that would be really good for power users. Right now things like qutebrowser are all based on blink, because that's the only option.