I’m glad to hear yours have been holding up! Maybe my friends and I were just particularly unlucky.

The service manuals are available direct from Dell. For all the laptop’s faults in my experience, I do appreciate that the SSDs are socketed, as are the RAM sticks on the 15. I do also appreciate that Dell sells replacement batteries (and they aren’t glued in either!) as that’s usually the first part to need a swap.

Yep this is the exact issue. This problem comes up frequently in a first discrete math or formal mathematics course in universities, as an example of how subtle mistakes can arise in induction.

Exactly, the assumption (known as the inductive hypothesis) is completely fine by itself and doesn’t represent circular reasoning. The issue in the “proof” actually arises from the logic coming after this, in which they assume that they can form two different overlapping sets by removing a different horse from the total set of horses, which fails if n=1 (as then they each have a single, distinct horse).

I haven’t used the XPS 13 personally but my experience and all my friends’ experience with the XPS lineup is that despite their build quality, they’re quite prone to failure. On my 15, the keyboard failed multiple times, as well as one of the fans and eventually one thunderbolt port, all within a span of 4 years.

They’re beautiful machines that really should be quality, but in practice for some reason they haven’t lasted for me. On the plus side though, Dell does at least offer service manuals, and lots of parts can be replaced by a user (on the 15 you can easily replace fans, RAM, SSDs, and with some work you can replace the top deck, display, and SD reader).

I suspect this is an Akonadi issue as I have the same problem with Merkuro Calendar. My Nextcloud account (configured via CalDAV and CardDAV endpoints) also disables itself if my network gets signed out, which is mildly annoying. Not sure if there’s an easy fix.

He’s apparently said he was born in 1988. In another thread others mentioned that would make him 21 when he started his PhD, which checks out.

Not that unusual IMO, lots of people start their PhD directly after completing their Bachelor’s. If they weren’t born born in the first half of the year then they’ll have completed their BS by 21 and start the PhD either at 21 or 22.

KStars

I’ll add that KStars has a really powerful astrophotography suite called Ekos. It has lots of helpful automation features to make imaging relatively simple to setup.

I do think the point about all CAD packages having failure paths is a little overblown. Yes, you can definitely get proprietary CAD to break but in my experience (at least with Solidworks and Fusion), it usually requires much more complex parts than FreeCAD parts. Post 1.0 the situation is definitely better though.

You’re right that users should try following best practices from day one, but realistically most users are not going to learn everything correctly automatically. They might use an out of date tutorial, or might have just learned by tinkering themselves.

The point I was trying to make was that because FreeCAD operates differently than other CAD programs do to one another and because it’s generally a bit more brittle and demanding of the user, I can’t say I blame anyone for not wanting to switch to it if they already have a CAD program they’re proficient with. You could call it being lazy, but from a practical standpoint there isn’t necessarily a ton to gain for a relatively large amount of time investment required to be capable of using it.

I really hope FreeCAD improves enough one day in the new user experience department. I love the software and have been using it as my tool of choice for years now, but evidently not everyone thinks it’s worth the time investment.

I’ll mention this fix is aimed at mitigating toponaming primarily for sketch attachment. Some features still struggle with toponaming, namely chamfers and fillets. But in any case, it’s a massive step forward and makes FreeCAD much easier to recommend! Until now I’ve been using Realthunder’s fork since toponaming was such a headache to resolve manually.

I think that’s a little unfair. The bigger issue IMO is that FreeCAD doesn’t quite share the same workflow as other (proprierary) CAD packages, so someone coming from proprietary CAD also needs to unlearn habits that were previously fine but now potentially harmful. For example, adding chamfers and fillets in FreeCAD pretty much should only be done at the end to avoid toponaming issues, which is less of an issue in other packages.

I don’t know exactly, but it’s apparently a thing. Some game anti-cheat software such as Easy Anti-Cheat will give you an error message saying something along the lines of “Virtual machines are not supported.” Some are easy to bypass by just tweaking your VM config, others not so much.

I’m a fan of dual booting AND using a passthrough VM. It’s easiest to set up if your machine has two NVMe slots and you put each OS on its own drive. This way you can pass the Windows NVMe through to the VM directly.

The advantage of this configuration is that you get the convenience of not needing to reboot to run some Windows specific software, but if you need to run software that doesn’t play nice with virtualization (maybe a program has too large a performance hit with virtualization, or software you want to run doesn’t support virtualized systems, like some anticheat-enabled games), you can always reboot to your same Windows installation directly.

Yeah I think Lemmy would actually work pretty reasonably. It reminds me of how lots of software and projects have Reddit communities. I agree that being able to share 1 account over many services, and especially not having to pay for infrastructure is something that drives discord use over forum-based platforms.

Personally, I’d prefer that projects use forums for community discussions rather than realtime chat platforms like Discord or Matrix. I think the bigger problem of projects using Discord is not that it’s closed source, but rather that it makes it difficult to search (since no indexing by search engines) and the format deprioritizes having discussion on a topic over a long period of time. Since Matrix is also intended for chat, it has these same issues (though at least you can preview a room without making an account).

As of right now VLC also doesn’t properly support Wayland, but MPV does. It’s a great piece of software!

Agree on the sentiment about VLC though, having an open source project demonstrate what is possible and stand the test of time definitely paves the way for future work and improvements.

I’ve been using FreeTube since Piped was very inconsistent for me, but I guess that’s just the nature of these services. I’ll have to check out Invidious again, last time I tried it was several years ago and I stopped using it after the main instance shut down. Is it still under active development? I remember its development status being unclear, partially because the language it uses is not super mainstream, but it’s probably changed since then.

Fortunately, Invidious, Piped, Libretube and Newpipe all exist and work flawlessly so there’s no excuse to use proprietary trash like that.

Isn’t the very point of this post that Invidious and Piped don’t work flawlessly?

Can’t you still modify and distribute Grayjay, just not commercially? I understand that still prevents the app from being considered open source, but their reasoning is valid IMO (to prevent people from making ad-infested clones on the play store, which has happened with NewPipe before).