Running Kitty the past year and a bit and really like it. Used to run into weird laggy issues with other terminal emulators, but Kitty runs like a beast for me.

So how many days do you take a year? As the other comments also touch upon, it becomes an outperform thing with co- workers, to take the least amount to “perform better”. Also how easy and often do managers then deny requests?

With a fixed set it has an actual value, at the company they can’t deny PTO’s as they are yours. Of course planning comes into play a little bit, but if you let the company know that 2 months from now you take 4 weeks off for a good long summer holiday, that is what you will be doing then in those 2 months.

ps. I have 25 personal paid days, a bunch of public holidays. Doctor’s appointments are on the ‘please try to schedule them outside working hours if possible, otherwise, well, that’s life, you need to visit that doctor’. Full travel reimbursement (fixed amount per month, can spend however i want), A lot of secondary items in my contract as well dealing with having to take care of partner / children if they become sick (is paid time off), etc etc.

More like putting a post-it on the ads in magazines. You are not altering anything for the next person, or even for yourself after reloading a page.

Was a theory i had as well, but copied whatever was there, and even afterwards ran git submodule init && git submodule update (from the docker install section), but all without luck.

I ran into it when it was just starting up. It was almost not active at that point, really an alpha idea of what could become a reddit like system but federated. You can imagine that it was just a few people test posting.

A lot of work has been done by a whole bunch of people to actually getting this far over those years. Which is, however you see it very commendable.

I know right! Grandfather Lemmy! (and thank you!)