then unapproved by Lennart Poettering

No, you’ve misunderstood, here is a quote from your own source:

A merge request asking for this change to be repealed was struck down by Lennart

It was a reversion that Poettering rejected, the PR stands.

The bot appears to be down

Oh, thanks for telling me…

Bot is back online.

Yeah, this is most wholesome and relatable thing I’ve seen on Lemmy for ages

edit: FYI, this shop is OP’s shop

Found them! This lets me cheat and figure out the ones I couldn’t name (or knew I’d got wrong like Digital Ocean that I thought probably wasn’t Commodore 64).

These are really consistent, do you print them yourself?

[he wrote] a sequel to 1984.

I didn’t know this bit of his story. Anyone read it? I’m assuming it’s not very good/coherent but perhaps he was as gifted a writer as he was a coder.

Element Effects

Zodiac sign elements create elemental affinities and oppositions:

Boosted Combinations (tasks thrive under compatible elements):

• 🔥 Fire (Aries, Leo, Sagittarius) × CPU tasks: 1.5x boost
• 🌬️ Air (Gemini, Libra, Aquarius) × Network tasks: 1.5x boost
• 🌍 Earth (Taurus, Virgo, Capricorn) × System tasks: 1.4x boost
• 💧 Water (Cancer, Scorpio, Pisces) × Memory tasks: 1.3x boost

Hang on - Aquarius, the water-bearer, is an air element? I’m beginning to think this astrology stuff doesn’t make much sense.

I like that water is responsible for memory, like how homeopathic medicine works.

That’s really interesting, I guess I’d assumed it was a universal thing.

I know some people who are known by various versions of their names in their different circles, e.g. Robert/Bob to their family, Rob to their school friends, Bobby to their uni mates and Robert at work.

The UK had a history of rhyming nicknames for shortened versions, like William -> Will -> Bill, and most of those are still common in English speaking countries. Richard -> Dick, Robert -> Bob (also Hob, Dob and Nob but these didn’t survive).

These shortened versions can then get extended: Edward -> Ed -> Ted -> Teddy, Margaret -> Meg -> Peg -> Peggy, Anne -> Nan -> Nancy

In the middle ages it was common to make a diminutive name by adding -kin, -in, or -cock, which gave us John -> Jankin/Jenkin -> Jakin -> Jack. Also, Robert -> Robin, Henry -> Hank

Same, and they can be some truly baffling typos.

What to do with people who jump the queue?

Our local wizard who casts these spells is @mykl@lemmy.world

  // this is bollocks, delete it

That’s almost certainly from a Brit.

  // this looks like I'm being a fancy arsehole, but this is all because  
  // the window shows up white for some reason when first opened, and this  
  // disguises it.

Could be either.

chefkiss.png

And then the other guy reverted that… eatingpopcorn.gif

Recently while troubleshooting I’ve found a lot of deleted comments with dozens of people saying thanks, often for years afterwards. Reddit annoyed their most valuable posters and we’re all paying for it.

I’m guessing by the recipes you mean Southern USA. I thought okra was from somewhere in Asia, but Wikipedia tells me it’s from East Africa (Ethiopia, Eritrea and “East Sudan” - which is kinda funny as there’s a Sudan and South Sudan).

Then the UK’s equally dumb: it was 10:04 pm BST (GMT+1) cos daylight savings is a thing in most of Europe too. At least it’s synchronised across Europe^[1] so you just need to remember that most^[2] of North America changes a few weeks earlier.

Also, the UK says GMT/BST which is nice and clear - calling both EST and EDT “Eastern Time” makes even more of a mess!

And yes, I’ve just rediscovered you can use footnotes, why do you ask?

The duplicate content thing is kinda impossible to solve perfectly. Some people will tell you it’s a feature, and it can be interesting to see the different instances’ comment sections (especially after moderation), but yeah it can be annoying to have your feed dominated by a few stories.

The default web front-end will merge crossposts, but won’t if they’re multiple posts to the same URL. I think some of the apps do have that deduplication as a feature, but I couldn’t tell you which.

I remember the same problem from my Reddit days, but there wasn’t generally so many similar, overlapping communities.

From the Lemmy docs:

• Active (default): Calculates a rank based on the score and time of the latest comment, with decay over time
• Hot: Like active, but uses time when the post was published

My default is set to

• Scaled: Like hot, but gives a boost to less active communities

This is the newest sorting option, I think, and it helps me not miss posts from the smaller comms - particularly ones where people are asking a question and there’s been no engagement. Ideally I’d like to have Mastodon-style lists so I could have “quiet comms” or something and check them all every so often.

I will switch to new or top 6h/24h if I’ve been on recently and just want to see what’s fresh. Top all time or 1y if I’m looking at new-to-me comms so I can see what type of thing to expect from it.