loke
Yes. If you turn off a computer it can’t be compromised.
But I think the interesting question is if its possible have a system that does something useful, while at the same time be 100% secure.
The answer is probably yes, especially small systems that have been designed for a single purpose, but it would be incredibly difficult to prove it. Just because it hasn’t been compromised yet doesn’t mean it won’t in the future.
Even doing a formal proof only proves things within the abstract model the proof works with.
The fact that they only do this in Europe is the biggest “fuck you” to users they could have done.
I had an account there. I never used, but I posted a few times just to see what it looked like.
The UI wasn’t bad, and if they have any resources left they should repurpose that UI on top of Mastodon.
Regardless of anything else, there are no circumstances under which companies like Uber would decrease traffic. This is because of two effects: Firstly, any regular car ride replaced with an Uber ride will result in more road-hours, since there is now a car travelling to your pickup point as well travelling on the road after dropping you off.
Secondly, the convenience of Uber can cause more travellers taking a car instead of public transport, again increasing the total number of road-hours.
Is there even a hypothetical scenario under which any of these private hire companies would reduce traffic? The only theoretical benefit is that less parking spaces are needed.
I fully expect that we will soon hear how Apple revolutionised the industry by pioneering repairability.