

I find it okay for writing programs since you can verify it to see if the output is correct.
But, actual analysis not so much, since when verifying what comes out that its not completely reliable even for things it should be like numbers. Now numbers might be close, but still off
Abstract stuff might be fine. But, its still not something to entirely trust on analysis because of errors. There’s a lot of double checking that needs to be going on.





Simplest approach I found is GrapheneOS as your main device, and using a second Android or iPhone for commercial apps that don’t work. And keep the second phone off majority of the time when the apps aren’t needed.