Can you explain what are denotational semantics and operational semantics? I tried reading the wikipedia article but I don’t get it.

Just switch to GNU/Hurd

/s

Dang good catch on the second user, I wouldn’t have noticed since I usually don’t look at people’s profiles.

It’s kind of funny that reddit will become this chamber of advertisers making posts and fake users “engaging” while the real people all migrate to lemmy.

That sounds nice, I’ll try that out

Dang, the shared grocery list and meal planning was the best part of it.

I also quit whisk when it became samsung food. Does CopyMeThat let you have shared lists with other people?

I could be wrong, but I’m pretty sure a lot of open source software is volunteer based and unpaid.

There might be cases where orgs will lend developers to work on a project, but with the org’s interests in mind, so if the patch isn’t in their interest, then those devs won’t look at it.

I wouldn’t say it needs serious work, I kind of like the homebrewed look of it, but there’s a lot of wasted space in the form of padding on mobile. I think the list of posts could just take up the full screen width and it’d be good.

Took a look and the article title is misleading. It says nothing about trust in the technology and only talks about not trusting companies collecting our data. So really nothing new.

Personally I want to use the tech more, but I get nervous that it’s going to bullshit me/tell me the wrong thing and I’ll believe it.

It’s not really fixable, right? They’re technically doing what the platform was made to do.

The more I learn about web3/crypto, it is increasingly getting closer to real life financials with all the same pitfalls and extra crypto problems