It’s less typing but technically it’s one more request to the server which you have to wait for to fail before the correct request can be fucked, so it might be faster to do it the correct way from the get-go. Especially if you’ve done it before and you can just Ctrl+R and find it in the history, or you have a git alias (e.g. git phead)

You can also type git push origin HEAD and it also does that

If you use KoReader, you can use Wallabag for the same purpose.

Czechia. I get 20 days off mandated from the state, plus some (12-ish?) public holidays, plus every day I donate blood (that’s up to 5 days a year).

My job gives me 5 extra vacation days, and when I’m on sick leave, pays me the full 100 % of my salary.

I take vacations for as long as I need :) But mostly I try to chip away at my supply with one- or two-day vacations, usually around weekends and/or combined with public holidays. I am obligated to take vacation at the end of the year, and I always take 3-4 days for a yearly local metal festival.

I used to hate the Android vs Apple drama vis à vis romantic partner choice, but then I realized that it’s in itself a great filter of people I don’t want in my life

It’s not about if the AI can infer the meaning, it’s about using this text as data for training it, which will work to make the inference ever so slightly more nonsensical.

Nah bro that’s a short. THIS is the video:

https://www.youtube.com/watch?v=IQJL3htsDyQ

This person is rich enough to own stocks. It’s good that they’re feeling some negative effects of what they voted for, but calling a 15 % dip in their portfolio “suffering” is kind of devaluing the actual human suffering that Trump’s policies are causing.

Gaslight, obstruct, project.

To be fair, if you’re buying drugs in the US, you’re probably getting ripped off by default

Hey now, stop fact checking, will you?

I read that url as blog.johnmastodon.org and for a second I was seriously wondering if that name was real lol

Hot take: Journalism is a public service and as such should be paid from our taxes, with checks and balances in place to prevent takeover by persons in power.

“Things that really should not be run for profit” and “running them for profit anyway because socialism bad”

The chad Windows equivalent:

winget install Mozilla.Firefox

(Or something like that. If in doubt, winget search firefox and use the ID. Use Ctrl+Insert and Shift+Insert to copy and paste it in cmd or a different terminal)

Sounds like fetch with extra steps

Are they insane? I already have a free tester – the device I want to use the cable on. I would pay maybe $15 for this, but perhaps I am not part of the target market

The joke does not specify the number of threads the programmer used, only the number of problems he now has

Thanks for your comprehensive reply.

First off, I am not an Apple hater. I see merit in their products, especially for non-techie users. But I don’t see myself using any of them.

Yes, customizability is a trade-off, one which I am not willing to make :) For me personally it justifies the choice of a different product. I’m not only including launchers and icon packs in this, it’s for example much easier to install e.g. an alternative YouTube frontend on an Android than on iOS, or to use an alternative app store (I’m assuming Android doesn’t have anything like F-Droid or Obtainium, both of which I use to get free and mostly open-source Android apps). You could say that’s a trade-off again, which it is, but I believe I should have the freedom to make that choice. It’s not like I couldn’t stay in the confines of Google’s ecosystem and have a largely similar experience to a closed off Apple-like system, it’s just that I don’t want to. But perhaps I’ve strayed from customizability back into the openness territory with this argument.

If I understood your example about fine-grained and extensive customization, I think you’ve identified these possible challenges:

• ease of access to needed settings
• consistency of application

I think both of these can be solved by the manufacturer of the OS. Google has been streamlining their settings menu with every new version of Android and extensive developer guidelines about how to make 3rd party applications consistent with the rest of the system are now the standard. In other words, I believe ease of use and consistency don’t have to be at odds with customizability, in fact they can reinforce and improve each other (example: setting a system-wide color tint that is then applied in all supported applications).

Slight tangent here, talking about consistency makes me think of another thing. I don’t know how it is today, but when I last tried using an iPhone, there was no consistent way in apps to go “Back” from an activity. Most of them had a top-left arrow that took you back, but definitely not all, and the experience was all over the place. Sometimes you had to swipe right, sometimes press an arrow in the bottom left for some reason… For all the talk about iOS’s consistency, it was not a consistent experience at all, and I believe Android had it figured out much better (not to mention that having a Back button on the bottom makes much more sense, esp. with larger screens).

And lastly to the marketing point. Look, I know the reality of selling a product is paying a lot for marketing so that you can actually sell it. I understand that. I am just psychologically resistant to ads (I am less likely to buy something I see an ad for), and I hate giving into trends. I think it’s part of my particular flavor of neurodivergence. And since having an iPhone is promoted as trendy and a status symbol or whatever, and seeing people give into that hype, that just makes me unlikely to ever buy one, and psychologically resistant to supporting these marketing practices with my money. Plus, the larger the corporation in general, the less likely it is to get a lot of my money if I have other choices.

who on earth is listening to hi-res wireless audio and not a song off of Spotify, YouTube, etc?

The decision not to include hi-res audio support out of the box is more baffling when you learn that Apple Music in its basic package offers high-quality lossless audio for streaming. Why have this, and make your users jump through extra hoops to take advantage of it?

To answer your overall question, I am one of the Apple dislikers and with me it comes down to openness and customizability (I like to tinker with my electronics and computing devices, and I can do that much better with an Android device), and not wanting most of my money that I spend for the product I’m buying to go to marketing.