I’ve been using Rapid to add buildings to my hometown. Seems like this would be basically impossible with native editor on https://www.openstreetmap.org/ ?? Well, technically not impossible, just it would take a reeeeeeeeaaaaaalllllllyyyyyyy long time and would hurt my wrist a lot more?

I do hate it’s made by Facebook though… https://github.com/facebook/Rapid

My top pick for a Linux laptop would be the Dell XPS 13 9310. It’s old I guess, from 2020. But the build quality and Linux support is excellent. You could get a used one from eBay for around 400USD.

Alternatively, maybe you could look for a used Thinkpad X1 Carbon. I’ve purchased several of those in the past and have had really good experiences with them. The hardware is great and the software support is excellent.

I would avoid Framework. I actually just switched back to the Dell XPS 13 9310 after a year of using the Framework. Linux support on the Framework is just not as good as some other laptops. The biggest con of Framework is the HiDPI display. You will never get the display to look good. You’ll have to do a ton of tweaking and debugging—and you’ll still have some apps that are blurry or have weirdly sized icons or text. See: https://lemmy.today/post/22761155/13770242

Formal methods and TLA+ are a common way of writing verifiable software.

• https://lamport.azurewebsites.net/tla/tla.html
• https://www.hillelwayne.com/post/learntla/
• https://lamport.azurewebsites.net/tla/practical-tla.html

I walk through my day and most people’s demeanor hasn’t changed in the slightest

I’m unhappy and angry at the situation. But, am I supposed to mope around all day or have depressing conversations with everyone I meet? Should I start fighting every Trump supporter in my small town?

Yeah, they were definitely down again: https://lemmy.today/post/23792488

And they definitely got spammed again.

Hm. Got tagged on a spam post that just says “hi”.

https://codeberg.org/austedan/thisisatest1/issues/45

Ah, I didn’t know you could @moderation in the conversation.

Lol! Not sure what message you got, but if it’s anything like mine, let’s test this.

Post the message you got in your company’s general Slack channel.

If you get fired, it’s a hate message. Else, it’s spam.

I’ve been using Vim for over 10 years. The first few years I used it badly. Later I took time to really learn it. Now I can use it fairly decently, but I still learn new things every now and then.

It feels like a really good investment. It’s been around forever, it’s gonna be around forever, it’s installed on almost all computers, and you’re going to be forced to use it at some point or another.

I really enjoy being able to go to any computer and starting up a familiar editor, without installing or configuring stuff. I also use a very vanilla Vim. If a coworker’s laptop or some server has a different Vim config than mine, I can usually do vim -u NONE to get back to a familiar place.

I don’t have problems with high DPI … only problems I’ve come across is … I DID have scaling problems with Wayland

This is exactly my point. You did have problems with high DPI. You had to fix some random config and avoid Wayland.

I don’t want to deal with this. I want to be able to use whatever software I want and have it work with minimal or no extra “fixing”. I value this over slightly neater pixels.

I currently own a Framework 13… and… after daily driving it for a year, I decided I don’t like it.

The deal beaker for me is the high dpi display. Linux just isn’t 100% compatible with hpi displays. I’m tired of my apps either having blurry fonts or tiny text. Ironic because hi dpi displays are supposed to look better.

With Framework, you’ll be pushed into using Fedora (it doesn’t solve all the scaling issues) or pushed to stop using apps you like because they’re using older GTK (some times there are no alternatives). You’ll also have to dive into debugging scaling issues.

I just switched back to my Dell XPS 13 9310 FHD and it was a breath of fresh air having everything just work. Any distro, any apps, no scaling debugging, text is readable and crisp, app UI elements look properly sized.

I only ever switched out the modular ports once, but honestly it would have been better to buy a dongle instead because that would work on any computer.

Oh, and I tried the higher resolution screen. It didn’t fix the scaling issues.

Oh, and, I actually had a display fail on me! After like 8 months, half the display went black. Thankfully, they were nice enough to send me a free replacement, but it definitely left me feeling like the Framework isn’t that sturdy or durable.

The shell also dents easily. I dropped a small music player from desk height onto the top lid and it left a small dent. (I have like 3 dents on the lid.)

Repairability is the one feature that the Framework beats everyone else on, but to me the cons outweigh the pros.