nialv7

joined 1 year ago
[–] nialv7@lemmy.world 21 points 5 hours ago (1 children)

This is honestly getting pretty funny.

[–] nialv7@lemmy.world 3 points 20 hours ago

What is it then? A complicated messenger?

[–] nialv7@lemmy.world 3 points 20 hours ago

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.

[–] nialv7@lemmy.world 5 points 2 days ago

... I have some unfortunate news for you

[–] nialv7@lemmy.world 4 points 2 days ago (2 children)

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.

[–] nialv7@lemmy.world 23 points 3 days ago* (last edited 3 days ago) (3 children)

you joke but how do i escape this hell hole?

[–] nialv7@lemmy.world 27 points 4 days ago (1 children)

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.

[–] nialv7@lemmy.world 11 points 4 days ago (1 children)

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.

[–] nialv7@lemmy.world 15 points 5 days ago (4 children)

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

[–] nialv7@lemmy.world 9 points 6 days ago

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.

[–] nialv7@lemmy.world 0 points 1 week ago (1 children)

What are you trying to accomplish with this comment?

[–] nialv7@lemmy.world 2 points 1 week ago (1 children)

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

view more: next ›