924 karma · joined December 13, 2022
I have my XFCE desktop working as I want now and I don't want to change it or having to learn where buttons are located after an update. With Gnome and Windows I feel like a lab rat for their UI experiments.
Setting aside the author's very clear ideological inclinations, the fact is the more things people have to agree on, the more conflicts will arise. We could lower the operational cost for taking a decision, but the human and social exertion remains. Actually, by making it easier to put up anything for debate, the effect will be to take more decisions into the sphere of the state.
But the worst of this is that it assumes that Government's role is to fulfill the wishes of citizens and in this framework, AI and software are the tools to learn what those wishes are.
Actually, being able to depend on someone you trust is the real liberation.
Couple this with the fact that nowadays couples have less children in average and you start to get the picture. If now two people work (vs 1) to have one child (vs 5) that will get the same (vs better) quality of life than their parents then you have on average become poorer.
I can't help but feel we have been duped.
In any case it works very well, and it is safe, something which commenters in another hackaday article some time ago were doubting.
One thing that the post does not mention is that things get nasty real quick if you use actual machine integers (or number generally) instead of ideal ones in Coq- though that can also be due to my own ignorance as an amateur.
For example, I have been using Pipewire for a while now, because I have to use a USB sound card intermittently. I don't think it is bad, but I wish I did not have to switch card so I could use ALSA directly. I don't care if PW is technically "superior", for me ALSA worked and I could get perfect audio even if the computer mostly hanged.
I use XCFE because I need to get stuff done and XFCE does not change the UI or move buttons around. It does not support wayland. I don't have time to fiddle with config files or to use a DE that churns the UI on each release.
The articles arguing for the technical superiority of <whatever> always sound like they are scorning the user for not recognizing the obvious superiority of the new thing. Almost like they considered anyone who does not adopt the new system stupid.
Furthermore, if the H1B is causing a cost/loss to someone, then the money should go to these people. You can argue that the H1B is harming local workers, but it cannot possibly be harming future/potential workers to which you propose to give the scholarship.
If it is paid by the employee, then companies would probably reimburse at least part of it. If it is paid by the company, it is already factored in the .salary amount. In the end, both employer and employee only care about the net amount the pay or get.
Land value tax: you move to a cheap place, some time later its value increases and now you have to pay more tax, why?
Tax on personal vehicles: it was EPA mandates that led to the current huge truck situation in the US, so maybe remove those instead of forcing people to pay even more for worse vehicles.
See, e.g. https://www.gnu.org/philosophy/right-to-read.html
Oddly enough, the French government has contributed quite substantially to free software.