nialv7

... I have some unfortunate news for you

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.

you joke but how do i escape this hell hole?

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.

but this is not impossible or out of ordinary though. you can even imagine stacking a couple cardboard boxes into that shape. i think it's out of place because it's too ordinary, because you'd expect some kind of symmetry, regularity, etc. from idealized mathematical shapes, but you didn't. instead you just get some random looking stack of boxes.

Wish granted, now you have smart, and truly evil people in the government.

The other way around. Computer Science studies the implications of physical laws - the relation between space and time, what's ultimately knowable given the make ups of our universe, etc.

I think you made it worse

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.

Given how poorly defined "think", "reason", and "sentience" are, any these claims have to be based purely on vibes. OTOH it's also kind of hard to argue that they are wrong.