Linux

7801 readers

110 users here now

Welcome to c/linux!

Welcome to our thriving Linux community! Whether you're a seasoned Linux enthusiast or just starting your journey, we're excited to have you here. Explore, learn, and collaborate with like-minded individuals who share a passion for open-source software and the endless possibilities it offers. Together, let's dive into the world of Linux and embrace the power of freedom, customization, and innovation. Enjoy your stay and feel free to join the vibrant discussions that await you!

Rules:

Stay on topic: Posts and discussions should be related to Linux, open source software, and related technologies.
Be respectful: Treat fellow community members with respect and courtesy.
Quality over quantity: Share informative and thought-provoking content.
No spam or self-promotion: Avoid excessive self-promotion or spamming.
No NSFW adult content
Follow general lemmy guidelines.

founded 1 year ago

MODERATORS

MigratingtoLemmy@lemmy.world

Arch user trying out lightweight desktop environments (lemmy.dbzer0.com)

submitted 1 day ago by Varyag@lemmy.dbzer0.com to c/linux@lemmy.world

15 comments fedilink hide all child comments

Hey hey people. Relatively new Arch user here, but not new to Linux in general. I've been using Arch with KDE Plasma on this HP laptop from 2013, and I've been enjoying it a lot after spending a long time on Mint/Cinnamon.

But, I've noted that KDE is a bit slow on this machine, and is probably a bit too much. Earlier today, I decided to try out something lighter, and installed LXQt on it as a second DE. The experience was okay, with much improved responsiveness, a nice customizable retro look, and overall simpleness that still did the job mostly. But I also ran into a few issues that probably had to do with having two different DEs on the same machine and user. One thing in particular ended up annoying me so much I went back to KDE: The Discover app would just refuse to play nice with setting a dark theme on the rest of the environment, even when I tried setting it up with qt6ct.

So now I'm considering going to XFCE instead, as I probably should have done from the beginning. I just wish it had Wayland support already (I know it's being worked on). Do you have any suggestions or tips for me in regards to this? I'm sure a lot of people will recommend their favorite tiling WM which I'm not sure I want to get into.

Also, other than that, upon returning to KDE, I found that my Discover would crash when trying to update Flatpaks (the only thing I install through it) and started thinking this experiment somehow broke it.... but it's Flatpak itself that seems to have an issue today. Might have to do with the latest curl update? Dunno if I should make a separate thread for that. https://discuss.kde.org/t/kde-discover-broken-with-latest-curl-update/21475

you are viewing a single comment's thread
view the rest of the comments

[–] superkret@feddit.org 2 points 1 day ago (1 children)

What does "formally verified" mean?

[–] demesisx@infosec.pub 12 points 1 day ago* (last edited 1 day ago) (1 children)

I’m glad you asked!

Formal verification is an automatic checking methodology that catches many common design errors and can uncover ambiguities in the design. It is an exhaustive methodology that covers all input scenarios and also detects corner case bugs.

One of the most futuristic companies I know of is Runtime Verification that uses formal Methods in industry. They have a list of accomplishments that seem like vaporware including a semantic babel fish called the K framework that can translate between languages based on formal, semantic definitions of each.

[–] superkret@feddit.org 2 points 17 hours ago* (last edited 17 hours ago) (1 children)

I think a friend of mine has a job where he writes formally verified code. For sensors in a nuclear power plant. I'm curious why it would be important for a WM?

[–] demesisx@infosec.pub 11 points 15 hours ago* (last edited 13 hours ago)

It’s not important unless Xmonad was being used for some kind of task where human lives are at risk if a mistake was made. In my case here (and indeed much of the Haskell world) it’s just fun to surround myself with software of that kind of code quality/reliability.