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

I agree, I also pay pros for work I can’t/won’t do. But I don’t tell people that I did it. It’s just something that bugs me.

A big peeve of mine is when someone says they did something, “I remodeled my floors, I painted the walls, I fixed my car, i put in a fence”, when they really mean they hired people to do these things. It’s straight up taking credit for other people’s work and it’s normalized.

I grew up poor where hiring help was rare so when someone said they did something, they always said it proudly and they meant they did it themselves.

Now I always ask and point out they didn’t do anything. I’m really fun that way. But honestly i think the language matters. For big jobs i personally say I had the walls painted or I got the car fixed since that implies getting someone else to do 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?

You can squash merge so it goes into the main branch as one commit, that’s usually how I do 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