Great to see this. I played around with jj about two months ago and really enjoyed using it on the command line, but I found it difficult to understand the interaction with git and GitHub and decided to put it off until I had more time. (I don’t recall the specific issues I had…) Maybe this extension can remove some of that friction.
Austria has 30 days leave after 25 years service (other wise 25 days) - so that is 6 weeks, plus 13 public holidays. So some people get around 8 weeks there.
Here in the UK, I get 29 days leave, I buy 5 more, plus get 8 bank holidays - so 42 days leave - or 8 weeks. Plus volunteering days and training days... but that isn't that common.
Australia has 6 weeks of leave at similar service levels, plus 11 public holidays. Turns out many countries have figured out how to not work themselves to death.
You're not familiar with the german holiday & vacation system are you?
I lived in Europe and can explain it for you.
In Germany, particularly in Bavaria with its 13 gesetzliche Feiertage (holidays including regional ones like Heilige Drei Könige, Fronleichnam, and Allerheiligen), Urlaubstage can be maximized through smart planning. The rule is that weekends (Samstag and Sonntag) and Feiertage do not count against your Urlaubskonto; they don't deduct from your vacation days. With over 30 Urlaubstage (the legal minimum is 24 Werktage, but many collective agreements grant 30 or more), you achieve over 60 free days (calendar days of absence) by using Brückentage (Bridging days) and longer blocks.
If you have more than 30 Urlaubstage (e.g., 32), it rises to ~70 free days. It is possible—plan early, as Brückentage are popular!
> Who has 8 week vacations, let alone 12? No European country I’m aware of, but I didn’t check all…
All teachers and most politicians. Teachers do enjoy the same vacation as students: schools aren't open during vacation. Two months of vacation + 6 additional weeks of vacation during the year + a few special one-day holidays.
As for politicians: my stepfather was working at a national parliament but only when there would be official questions and only when these would be in his native tongue (country had two official languages). And when the country would be without a government, he'd have as much as 500 days (500 days: you read correctly, and it didn't happen once but twice) of vacations. It's only if there was a super urgent matter where the parliament would be opened that he'd have to work: so he'd quickly hop on a plane and go back to his native country.
So "who": some public servants. Not all but some public servants definitely do enjoy 8 to 12 weeks of vacation and even much more than that.
At the expense of working, taxpaying, citizens.
EDIT: for the 500 days... He would not know beforehand it'd be 500 days. He'd just know there was no government anymore. So he was fully paid but basically had to do jack shit until there'd be a government again. Which nobody could tell when it'd happen. But you read correctly: half a thousand days+. You all read that correctly. His vacation on the sunny french riviera paid by the taxes of the people.
What's stopping you from creating a "localhost.mydomain.com" DNS record that initially resolves to a public IP so you can get a certificate, then copying the certificate locally, then changing the DNS to 127.0.0.1?
Yeah that's what I was getting at. I know seL4 is used in a bunch of places, but outside of a few hobbyist projects I have never heard of anyone using is at a "full" OS.
It would be nearly impossible to have the support for the extremely diverse set of hardware that desktop Linux has while staying formally verified, but for something a bit more constrained like a smartphone, I think something like seL4 could work as a base and the manufacturer could write their own drivers for whatever hardware is needed.
I mean, how cool would it be if every single part of the stack that is even possible to verify was fully verified. I know about the halting problem, I know there are things that would be basically impossible to verify fully, but I still think it would be cool to live in a world where software engineers actually had a little assurance what they were doing actually worked before unleashing into the world.
I know at least one autonomous vehicle company is using it as their base OS in the autonomy stack, with efforts at extending some form of verification up to the high level code.
Ha, that’s funny! I got my PhD from NTNU, but never actually noticed that in English it becomes NUTS… NTNU is a Norwegian acronym for Norges teknisk-naturvitenskapelige universitet.
reply