Dijkstra on Haskell and Java https://chrisdone.com/posts/dijkstra-haskell-java/ "A fundamental reason for the preference is that functional programs are much more readily appreciated as mathematical objects than imperative ones, so that you can teach what rigorous reasoning about programs amounts to."
And I was on Proton for 3y, until the CEO were backing Trump and Vance on Reddit and other places. Their port forwarding was also painful as well, but it worked.
Cancelled. PIA does the port forwarding nicely and stabily. No jank scripts to run every 60 seconds.
Now evidently PIA is a bunch of scum capitalists. But in reality, who isn't?
Mullvad? But they killed port forwarding for "abuse".