You can view the source for my comment and copy paste :)

Do this in order:

1. Install with LUKS full-disk encryption and Btrfs subvolumes for @ and @home so snaps are atomic.

2. Enable automatic snapshots with Timeshift or snapper.

3. Export your package lists:

   • Debian/Ubuntu: dpkg --get-selections > packages.txt
   • Arch: pacman -Qqe > pkglist.txt
   • also flatpak list --app > flatpaks.txt

4. Put your dotfiles under version control and manage them with chezmoi or GNU Stow.

5. Use Flatpak for GUI apps, containerized toolchains (podman) for dev environments, and keep only system-critical packages in the distro manager.

6. Back up with Borg: borg init --encryption=repokey /path/to/repo ; borg create repo::$(date +%F) /home /etc --stats ; borg prune --keep-daily=7 --keep-weekly=4 --keep-monthly=6

7. Keep a small, bootable USB with the exact kernel/tools you use so you can unlock LUKS and mount Btrfs snapshots.

8. Test restores quarterly: restore a snapshot to a spare partition and boot it. Do that for a year and tell me reinstalling is fun again.

Can someone take the points and switch back 😄

Why post something in the first place then?

The other user asked you for more context because they want to understand/ learn from what you’ve shared.

Your post is missing context.

While I don’t have a direct answer, I know that my university had some courses dedicated to this topic. I think these are some of them:

https://www.students.cs.ubc.ca/~cs-311/2025W1/nav/goals.html

https://www.cs.ubc.ca/course-section/cpsc-411-201-2020w

https://www.cs.ubc.ca/~rxg/cpsc509-spring-2024/

The second one is described as

The goal of this course is to give students experience designing, implementing, and extending programming languages. Students will start from a machine language, the x86-64 CPU instruction set with Linux system calls (x64), and incrementally build a compiler for a subset of Racket to this machine language. In the process, students will practice building, extending, and maintaining a complex piece of software, and practice creating, enforcing, and exploiting abstractions formalized in programming languages.

The course assumes familiarity with basic functional programming in Racket, and some simple imperative programming in assembly.

Those links might give you something to search off of?

And what’s the purpose of developing more languages anyway?

At some level, I think it’s this:

https://xkcd.com/927/

Looks good!

I have one suggestion, the white text on bright green on the website is hard to read. Maybe you can pick different colors, or put borders around the characters.

Linux Foundation

The slide people are mentioning

In text:

This is a brief summary of Servo’s project history. The project was started by Mozilla in 2012, at that time they were developing the Rust language itself (somehow Mozilla used Servo, a web rendering engine, as a testing project to check that Rust language was good enough). In any case we cannot consider it really “new”, but Servo is way younger than other web engines that started decades before.

In 2020, Mozilla layoff the whole Servo team, and transferred the project to Linux Foundation. That very same year the Servo team had started the work in a new layout engine. The layout engine is an important and complex part of a web engine, it’s the one that calculates the size and position of the different elements of the website. Servo was starting a new layout engine, closer to the specifications language and with similar principles to what other vendors were also doing (Blink with LayoutNG and WebKit with Layout Formatting Context). This was done due to problems in the design of the original layout engine, which prevented to implement properly some CSS features like floats. So, from the layout engine point of view, Servo is quite a “new” engine.

In 2023, Igalia took over Servo project maintenance, with the main goal to bring the project back to life after a couple of years with minimal activity. That very same year the project joined Linux Foundation Europe in an attempt to regain interest from a broader set of the industry.

A highlight is that the project community has been totally renewed and Servo’s activity these days is growing and growing.

The WPT scores should give an idea of how “ready” it is: https://servo.org/wpt/

It shows that the situation in 2023 was pretty bad, but today Servo is passing more than 1.7 million subtests (a 92.7% of the tests that we run, there are some tests skipped that we don’t count here).

Has the cat’s diet changed at all? My understanding is that the allergy has to do with a protein that some cats produce, and it ends up on their fur through the saliva. Certain diets can reduce or eliminate the protein.

I don’t have any brands to recommend, but here is the study if it gives you something to go off of

https://pmc.ncbi.nlm.nih.gov/articles/PMC6764009/

That’s awesome, I haven’t seen many family software projects before.

Looking forward to seeing how it develops!

Very cool, it’s on my list of things to try out at some point

my family and I’ve been working on

I’m curious what this has been like, if you don’t mind sharing 😄 What is each person working on?

It looks like Social is the platform that released v1, and the other ones are still in various stages of development.

https://docs.bonfirenetworks.org/flavours.html#what-is-a-bonfire-flavour

My understanding is that “Bonfire Social” is very similar to Mastodon, with their own way of implementing certain features, and the other features in their funding campaign are still in development

They launched version 1.0 of a platform similar to and interoperable with Mastodon, and they’re doing a funding campaign for what projects they will work on next.

Also they have some art for those that participate:

The code is a commons, so art is offered as a reward. This campaign includes a limited‑run, hand screen‑printed artwork by Rocco Lombardi, the artist behind Bonfire’s icon and other illustrations.

For context, this is what reddit’s limited automod is like

https://www.reddit.com/r/reddit.com/wiki/automoderator/full-documentation/

I’m sure we can do better. For example, being able to use variables

Neat!

I didn’t know about kolf. It was fun, even if it looks a little dated.

You only need a server if you want to run an entire instance (ex. lemmy.world). Anyone can create a community on most instances.

The graphics on this guide might help:

https://fedecan.ca/en/guide/lemmy/for-users/detailed-overview

Likely related

https://apnews.com/article/icc-trump-sanctions-karim-khan-court-a4b4c02751ab84c09718b1b95cbd5db3

Microsoft, for example, cancelled Khan’s email address, forcing the prosecutor to move to Proton Mail, a Swiss email provider, ICC staffers said. His bank accounts in his home country of the U.K. have been blocked.

Microsoft has since denied this, but they haven’t released much info on what they say happened instead.

https://www.politico.eu/article/microsoft-did-not-cut-services-international-criminal-court-president-american-sanctions-trump-tech-icc-amazon-google/

A Microsoft spokesperson said that it had been in contact with the court since February “throughout the process that resulted in the disconnection of its sanctioned official from Microsoft services.” The spokesperson added that “at no point did Microsoft cease or suspend its services to the ICC.”

Khan’s email disconnection has sparked Europe’s fears that Trump could flip a “kill switch” to cut digital services through American tech giants, as the continent seeks to become less dependent on U.S. technology. Companies like Microsoft, Google, Amazon and others dominate Europe’s cloud and digital services sectors.

Microsoft declined to comment further in response to questions regarding the exact process that led to Khan’s email disconnection, and exactly what it meant by “disconnection.” The ICC declined to comment.

They also said that they’ll be adding legal clauses that would stop them from doing that, but I’m not sure how much that actually helps in practice.

I’ve had a smoother time with Bluetooth since switching to Linux than I did on Windows.

On Windows it would randomly disconnect, or I would need to manually forget and re-pair the device every few months. Now when I turn on the device, it reliably reconnects to either my phone or the Linux device, depending on which one it was connected to last.

Maybe it’s distro / device dependent

I didn’t understand this one, was there additional backstory from previous comics about the Pen and Paper or Guzzler?

I’m happy participating as a community member, and stepping up as a mod later on if the team could use some extra help. I don’t mind either way :)

Oh on that note, would it be helpful to lock and redirect !newtopiefed@piefed.ca to that community?