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. :(

> BibTeX is outdated (use biblatex+biber), I hope Tectonic is not hardwired to it. While I prefer biblatex and biber, some journals and conferences require BibTex.

Not all of CS. It really depends on the sub field. But I would say most papers in CS are written in Latex though.

The Golden Sun series had a password system to transfer your progress from Golden Sun 1 to Golden Sun 2. If you wanted to transfer everything it was 260 characters. At least you only had to do this once and there was an option to use a link cable instead.

I bought the ReMarkable 1 because I thought it was just a Linux device. It turned out to be not exactly true. Their whole interface is closed source and they use a (IIRC) closed but reverse-engineered format to store PDF metadata. I installed Syncthing to synchronize papers and sheet music but because of their metadata format it didn't work for me at all, I got annoyed, eventually stopped bothering and sent it back.

Also, their GUI/DE is closed so there's no (easy) way to extend it with nice functionality. In my opinion the software was the bad part about that device that lead to a really bad experience with that device.

The hardware was great though. Wasn't super fast but it was light, felt good. I was very excited when I first took it out of the box.

They did a lot of great stuff with the ReMarkable but unfortunately it felt a lot closer to the semi-open Android than the Linux on my desktop.

In computer science a lot of researcher already publish their code (at least in the domain of software engineering) but my biggest problem is not the absence of tests but the absence of any documentation how to run it. In the best case you can open it in an IDE and it will figure out how to run it but I rarely see any indications what the dependencies are. So if you figure out how to run the code you run it until you get the first import exception, get the dependency until you get the next import exception and so on. I spent way too much time on that instead of doing real research.

I just wish there were more 5K displays out there. A few months ago I bought and returned a 4K display because I'm so used to 1440p so that I lost some real estate with 4K at 2x scaling.

At the moment I have to upscale the fonts on most websites (e.g. 130 % on HN). Fonts look very nice (although not as nice as on the 4K display) but most UI elements are very small. Fortunately that isn't a real problem since my workflow is keyboard-driven anyway, so I rarely have to click on any buttons.

In the end it's still better than the 27" 1080p display I have in my office where you could see every damn pixel. I really don't miss working there.

Not getting payed is not the point of free software.