Since you said you’re not very technical I think you’re going to have a bad time with Linux. I would instead do this:

1. Go to one of those slightly sketchy cdkey sites and buy a “genuine” key for “Windows 11 IoT LTSC” for a few dollars. Don’t worry about the sketchiness. The keys work, and keys themselves don’t carry any risks. Microsoft does not care about this.

2. Install it using Rufus. When you use Rufus it has a few options to fix annoyances in Windows - use those. I think they’re enabled by default.

This fixes 99% of the issues with Windows 11. No ads, no bloatware. Much more reliable than Linux and you won’t spend your life debugging things.

I’m obviously going to get downvoted to hell because of where we, and I’ll switch to Linux if they ever take this option away, but for now it works very well and avoids the pains of Windows ads and Linux bugs.

So search engines shouldn’t exist? This is absurdly simplistic.

Ah that sounds cool for the future at least.

Guess they never heard of advertising…

Because if you already have a Codeberg account you don’t need to create another account to contribute.

This is an unbelievably good explanation of some very difficult concepts. I think the Lean documentation should start with an enormous link to this post.

Highly recommended to anyone interested in Lean who isn’t already an expert.

Still way more annoying than Github. Still, they apparently are moving from an existing mailing list / git send-email “solution”, so it is at least a huge step in the right direction.

If they’re philosophically against Github I don’t know why they didn’t just move to Codeberg though. Maybe that’s too modern for people who have only just moved on from mailing lists.

Force the vpn companies to ID users?

Yes, obviously. They will say that the VPN providers themselves are subject to the Online Safety Act because they indirectly provide websites that show porn and let you chat to adults. Therefore the VPN providers must do age checks themselves. If they don’t, they can’t offer services in the UK (as with any other website).

It’s shit, but they can do it if they want to. I predict they will, because currently you can trivially bypass the OSA with a free Proton VPN account and zero effort.

We need the original act revoked.

I don’t feel like it’s the same - autotune can make me more in tune than I could ever achieve. Current LLMs definitely can’t write better code than me, they can just do it faster.

Some definitely are. But I think a lot aren’t. Hell, a lot of programmers still don’t even use an IDE.

I don’t know why it would make you ill.

Wouldn’t it be non-paying customers? Presumably Spotify doesn’t need to do extra age checks on its paying customers because they can just use their banking details to check?

It makes sense (RVA23 is probably the first profile that is actually competitive for desktop use), but also is there a single real RVA23 chip available yet? Might be a little premature…

More like “If it isn’t as good as it could be, don’t do anything to improve it.”

Kind of incredible that they haven’t taken this down. You can just imagine the brainstorming session that came up with it.

Because it’s more inconvenience than help for users who are average or above

Shouldn’t be a problem for you then right? 😄

Well… Couldn’t the reason it didn’t happen then because because GitHub was somewhat isolated from Microsoft?

I think Macbooks are about half that.

They won’t ban corporate VPNs.

Wow you can tell from the first paragraph that this isn’t worth reading. I read it… just out of curiousity…

For some reason the whole discussion around this Rust/C/Linux/GNU/thing is mostly focused around superficial and irrelevant things like the sexualities and genders of the Rust people

Err…

Rust people seem to be focused mostly on identity politics and dividing people into groups that are then supposed to fight each other. As I wrote earlier, I didn’t invent the term “Rust people” myself - those people themselves identify as “Rust people”, which is not a good thing. I code mostly in C and assembly, but I certainly don’t identify as a “C person”. I can also write other programming languages, and I would even learn Rust if it wasn’t such a horrible Trojan horse that is clearly designed to destroy computing freedom.

… yeah. I can confirm he has zero sane points. Let’s not give this lunatic any credence.

Maybe, but probably not.

Why not?

As much as it sucks to admit, the Linux kernel would not be where it is today without the additional expertise and man-hours donated by companies. That never would have happened if it weren’t open-source, collaborative, and free for commercial use.

It feels like you’re ignoring network effects here. If Linux didn’t exist then something else (e.g. FreeBSD) would be much more popular and would be targeted by companies instead.