I've been using ProtonMail for a few years and it's been an average experience so far, since they force the use of their apps. I've recently tried to setup kmail with my protonmail account and discovered how their business model works for imap access: you pay a subscription after which they give you access (usual deal, nothing bad about it), but then they force you to install a piece of software which supposedly handles all the communications and encryption. I've tried it, it works fine, but I'm not interested in having to run their software just to connect to their imap servers. Also, while you can use a custom email client o n pc, you are stuck with their app on android.

I'd suggest you avoid protonmail. Maybe look into mailbox.org, they actually have a pretty good service.

You should probably spend some time on changing that. The only thing keeping me inside the Google ecosystem is my university and I hate that since they are paying for it anyway, so it makes absolutely no sense if not for it being the lazy way of doing things. Why choose to be lazy when it's clearly doing more harm than good? I managed to install android with microg and it has worked flawlessly for 4 years now. There are many options to do this of course, but they all require a lot of time to set up. Still a better alternative than being locked up under Google.

it could most certainly kill Mozilla, but it will surely not kill Firefox

A good result.

Now that Mozilla is trying to appease the ad industry? Yeah for sure.

Second this for sure!

Welp, time to switch to a linux phone.

> A more discrete combinatorial approach could imply a corresponding proximity to programming language theories and type theories.

I'm just curious, what theories are you talking about?