Have you found this stuff useful during the many years since you learned it? Or you don't mean you mastered it enough to judge its usefulness?

I have a personal coq/rocq project regarding the verification of software so for that purpose it is highly useful. I also wrote a proof assistent myself (https://github.com/chrisd1977/system).

Dumb tools are more robust.

Far from everything

Why exceptions were difficult without the builtin support? Sttange to hear that.

Android doesn't even let you access your files. It has famously blocked acess to the subfolders of /Android/data/ - every app has a subfolder there where it stores files. And you can not visit these subfolders since Android 11.

A buggy app accumulates gigabytes (literaly, i am not exagregating) of temp files there, but i cant visit the folder to delete them.

Google explains that "it's for you safety".

I have to call it with the strong word "idiotic".

There are apps now where storing files in a shared, accessible folder is a payed option.

Not only that is outrageous, I belive that violates the existing "right of access" laws like GDPR. I am condidering even submitting Subject Access Request to Google about my /Android/data/ subdirectories.

No, I dont want to clear storage - there is data I downloaded into the app and work with that I dont want to lose. But the app also accumulates some temp files there.

without access - how do you know the files are temp files?

I used to delete them on old Android version.

> The goal they are trying to achieve is good, but the execution is just stupid and will make everyone, including and maybe especially the people they want to protect, less safe online.

If so, the best way to stop that is to sugest a good way to achieve the good goal.

How would solve these good goals?

Ban targeted advertising, let social media companies die.

Everyone knows what model is. Almost noone knows what is controller.

And capcha forces users to train neural networks for free, planning to then replace the users with those neural networks :)

Moreover, website ovners even pay for capcha. It should be other way around - people participated in training the neural nets should share profit and owhership of the networks, at the very least.

Ha-ha.

Android doesn't even let you access your files. It has famously blocked acess to the subfolders of /Android/data - every app has a subfolder there where it sfores files. And you can not visit these subfolders since Android 11.

A buggy app accumulates gigabytes (literaly, i am not exagregating) of temp files there, but i cant visit the folder to delete them.

Google explains that "it's for you safety".

I have to call it with the strong word "idiotic".

There are apps now where storing files in a shared, accessible folder is a payed option.

And in this world you want to own your hardware.

> ‘Oceanic Boundlessness’ (OBN)

LOL