Gnome is way simpler to use than Windows. If you let grandma or a kid with no prior Desktop experience, I’m pretty sure they will find Gnome more intuitive. The problem is that it is too different for a Windows user, so the switching cost is high.
The way it works is that if you trust the theorem prover to be bug free, then you only have to verify that the theorem was correctly stated in the program. The proof itself becomes irrelevant and there is no need to verify it.
The installation is slightly easier (but still hard because of USB install) and the website has a more appealing design. Except from that what is better in Ubuntu for the average casual user? Proprietary blobs are now included in the default installer since version 12.
The far right in France doesn’t want ChatControl. In fact I think only the soft left, middle and soft right want ChatControl (and it is not even a consensus for among these groups).
Your phone feels slow either because you are now used to faster devices or because the software used is becoming bloated. There is no reason a phone feels slower except for these two reasons (or maybe if thermal got worse over time but it should not).
Personally I don’t care if a phone feels slower compared to other devices as long as it is not becoming slower because of crap software updates.
Criticizing Signal for its crypto payment system is ridiculous. The option is totally optional and completely buried as it is literally the last option when messaging. It’s better to criticize the rule against third-party clients.
Protecting the kids I think, because if the dad is not known then the mother will have to pay for the child alone (subsidized by the government). In France around 3% of kids are raised from dads not knowing that they are not the biological father.
Personally I think this law is completely unfair but in practice I think the judges will not believe the one opposing the test.
There could easily be a web standard to allow/disallow NSFW content and the web browsers could broadcast this flag based on settings at OS level similarly to the light/dark theme setting at OS level that can be used by websites and it works on all OS/web browsers implementing this trivial feature.
I think you now have to pay for education if you come from outside the EU, at least in France. It is still cheaper than the US because it is massively subsidized by the working class. A person coming to EU only for free /cheap education is not welcomed.
No, restaurateur is often used here in France, simply for someone owning a business and working in “restauration”. When using restaurateur instead of propriétaire we are emphasizing the work, because someone can be the owner without actually managing/working in it.
It is political of course, because the left would like to provide to the financially illiterates, such that they don’t have to manage their own money. If everyone is saving/investing, the socialist system is mostly redundant (except for the extremely poor, non-working, ill or disabled people).
Of course data matters but the routing engine is also very important, with the calibration of the weights on the edges of the graph.
For cycling it feels like Organic Maps is so much better than Google Maps and Apple Maps, consistently offering safer routes which are also faster in practice because you don’t have to slow down for dangers. Google Maps is notoriously bad in rural/mountain areas, except if you are looking for mountain bikes routes…
Small question to anyone with this workflow. Do you (re)run CI on every affected commit? If no, what is the point of small commits if you lose any guarantees? I much prefer the honest linear non-modified history.
You can click on the three dot menu at the right of the path, there is an option to open a terminal. You can also switch to icon view and right-click between icons to open a terminal. You can also go to parent folder, right click the folder you were before and open it in a terminal.
Many workarounds but I agree it’s not really good UI.