ranaexmachina

Bottom posting confuses the hell out of most people. I gave it a try but people kept complaining so I'm back to top posting even though it makes absolutely no sense.

I'm pretty sure that's intentional. ;)

Completely forgot about the grub issue. At some point I gave systemd-boot a try and never went back.

I use Arch Linux on my personal machines since I left macOS in 2015ish. I briefly tried Ubuntu before but I wanted some newer versions of some software and I thought Arch would be a good way to learn about Linux (whatever that means). Since it worked for me I never really bothered trying anything else.

At work I basically have to choose between Ubuntu, Debian, and CentOS. Everyone else seems so use Debian or Ubuntu. I gave Ubuntu another try but snap was acting up so now I'm using Debian.

I don't really have any strong opinions on various distros. I'm just happy I don't have to deal with WSL anymore which I had to for my previous job. :D

If you teach all the concepts of Git (e.g. commits point to parents but not to children or branches are labels that point to a commit) properly it takes some time but then you get a lot of the more advanced things such as rebase kind of for free. In my experience, people often struggle with those because they have no clue how Git internally works. I had the same problem but when I looked into that it clicked and suddenly all the commands made a lot more sense.

I really wish people would stop calling cryptocurrencies "crypto". :(

I had different branches for different machines too in the past but it felt very inefficient to me. The configuration was the same for 99% and for the last 1% I had to manually copy stuff back and forth. At the moment, I just try to use tools that allow me to have different configurations for different hostnames or OSs but maybe I should look into one of the fancier dotfile managers…

> To me, I don't really see a difference between GitHub and sr.ht. Companies can start out with these "friendly" attitudes towards FOSS, but when they reel in many paying customers, they can pretty easily, and without consequence, change their policies to be more aggressive (geared towards profit) and greedy. It just seems inevitable to me.

But with sourcehut you can just host it yourself or find someone else who hosts that as everything is FOSS.

If you don't want to use the built-in CI, wiki and issue tracker, then Git is already decentralized. You can push and pull easily from and to multiple sources. Git is already built for that exact use case.

I think you would enjoy programming in Ada.

That's very interesting. I honestly didn't think of that, since we often worked asynchronously or at the same machine (which doesn't work at the moment, of course). I can see how Overleaf can be nice for that purpose.

right alt+qyps in US

right alt+auos in EU (I think)

In my experience, Overleaf is actually awful for collaboration. Maybe my workflow is weird, but I tend to look at the diffs after my colleagues make changes. Also, we mainly use pull requests to add to our papers. This way, everyone can see and comment on changes.

This kind of workflow is not really usable with Overleaf. Overleaf uses Git in the background, but every commit is named "changes on Overleaf" and the individual commits do not really make much sense. In addition, everything is immediately put into the master branch and there's no way to summarize or group changes (like with commits and/or pull requests).

My next problem is, that Overleaf just uses latexmk so if you have some code to generate graphics or tables, you have to compile and add them manually all the time.

Just change it to US international or EU layout. It takes a few weeks to adjust, but I'm typing English and German with US international layout and I can use every Umlaut without any problems. :)

I just want a linear timeline. :(