“War crime for thee, but not for me~”

If you write your own tooling then it’s great. The vast majority of us are using other people’s tooling and have to deal with their imposed complexity. I for one hate GitHub actions with a passion.

Invaders shooting at locals

And please don’t say they’re moving to bluesky. That’s just jumping out of the pot and into the flames.

People are only realizing this today?

And yet some subset of devs are still clinging to w3c’s shields which is misleading since w3c has no jurisdiction over html (by whatwg) and js (ecma).

deleted by creator

The term UT is specifically created to divorce universal timekeeping from whatever UK’s timezone is doing, whether DST is on or not, etc. and the derived term UTC for when started adding leap seconds.

GMT hasn’t been a thing since UTC. It should be scrubbed from the vocabulary and old farts still using it should be shunned and reeducated.

Notice the common problem here? DST. Get rid of it and you get rid of the inconsistency that happens parts of the year, and you reduce fatality rates that resulted from moving time twice a year.

Was gonna say, this wouldn’t happen on John’s watch. /S

I smell a crime thriller where a serial killer is a programmer and hid their actual child killing searches by masking them as programmer endorsed child killing kind.

I could really use that extension 👀 got a link?

deleted by creator

Don’t Louis Rossmann launched a repair wiki a while back?

Anyway, mediawiki wikis have a special page that lets you dump the wiki’s contents for migration purposes, but I forgot whether it’s locked to admins only.

Edit: here’s a publicly accessible export page: https://repair.wiki/w/Special:Export

deleted by creator

Buckshot@programming.dev wake up, new currencies just dropped

People tend to forget ChatGPT learns from people’s comments, like yours.

Yep, Mozilla doesn’t tie your Firefox settings to your Mozilla account. It does require it for syncing between devices though.

Glad to get people to understand Firefox better. Hope my comment didn’t come out as too crass or anything 😅

I’m talking about the browser user profiles, where your user data (bookmarks, passwords, extensions) is stored.

Firefox puts them into profiles so that you can change between those sets, as if you’re a different user, without changing user accounts at the OS level.

This isn’t about online accounts.

Or have a shortcut that has something like this as its target:
"C:\Program Files (x86)\Mozilla Firefox\firefox.exe" --ProfileManager --allow-downgrade -no-remote
This just opens the profile manager every time. The only caveat is that you have to click “launch” every time as there’s no timeout. But I also do have an autohotkey script that does the timeout for me, pressing “enter” after 30s.