I feel dumber after reading that thread.

Here’s the full paper for the study this article is about: Measuring the Impact of Early-2025 AI on Experienced Open-Source Developer Productivity (PDF).

devs who were used to the tools

Not true - here’s an excerpt from the article:

including only a specialized group of people to whom these AI tools were brand new.

So for notes, do you still just use markdown or have you gone all in on typst?

This and mods can’t be expected to monitor everything all the time, users are the mods’ eyes and ears. It’s not fair of OP to put the server on blast without having reported it to the mods.

How did the mods respond when you reported it?

This article does not show as cross posted to any other community in the Voyager app.

EDIT: When I open the post in a web browser, the cross posts are visible. 🤷‍♂️

I wonder how long until the curves cross.

Labels/Tags are a product feature, not part of email standards. Meaning: it’s not a thing when looking at the raw mail server data.

Thanks for the info. This helps me understand why things are the way that they are. It has me rethinking the use of tags altogether and leaning more toward reviewing my labels in gmail so I can tweak the ones that are still useful and remove any that are obsolete.

Agreed, this is where I’m at as well.

What I’ve had in place for the last decade or more made sense to me once upon a time, but it’s over engineered and of limited usefulness.

Despite the potential technical solutions offered in other comments, I’ve resolved to go through and clean up my email history, including deleting stuff I no longer need and reconfiguring how I assign labels to incoming messages in gmail in order to make sense to my current self and play nice with the folder system, which seems to be more industry standard anyway.

Any surprises you wish you knew about beforehand that you’d care to share? Any bullshit around financial stuff, filing taxes while abroad, etc?