Maybe wine/proton is just better at Windowsing than Windows is.

Yeah weirdly reads like encouraging suicide?

Wait is it just me? Oh no.

Linus looks old now 😭

I guess that’s how time works but still…

So just a conspiracy to funnel money into vpn companies then. /s

by that definition do vegans have to grow their own vegetables? you know, capitalism and exploitation of labor and such.

This is honestly getting pretty funny.

What is it then? A complicated messenger?

You know the system is fucked when people who seek to maximize profit for themselves while making everyone else’s life worse is rewarded, whereas projects like Matrix, which is clearly a public good that benefits the society, struggles to get funding.

Yeah they have the rights to do it, doesn’t mean it’s a good thing to do, doesn’t mean it won’t negatively impact the future of the project.

Redis had the rights to change the license of redis, look at where that led them.

but YS(also)K: correlation does not equal causation.

a non-violent protest like the ones described in this article can only commerce, if it is not opposed by state sponsored violence. and that’s usually indicative of a government that’s already falling apart.

What are you trying to accomplish with this comment?

I did say “general purpose”. And many proof assistants are Turing Complete actually, such as Lean.

It’s not what you can use that language to do - all general purpose languages are Turing Complete, so what you can do with them is exactly equal. It is about what the language will do for you. Rust compiler will stop you from writing memory unsafe code, C compiler cannot do that.

Why would they? This is a legitimate business

How’s sending weapons to Israel, when they are incontrovertibly killing civilians, not being directly responsible?

Next, we should ban heart disease and cancer…

Is an anti-consumerism Trump on anyone’s bingo card??

Facts are now political

Quite sad the amount of downvotes you are getting, it’s like the dem supporters haven’t learned their lesson yet…

thanks, DOGE, i guess???