HN user

philosoft

18 karma
Posts0
Comments6
View on HN
No posts found.

I suppose it's because a proof is contained within itself while a computer program may interact (in this case with another component within the same application) in non-obvious ways. Clarity in variable names helps to prevent this behavior, although it doesn't completely eliminate the risk.

I believe he is referring to a web-mail service hosted by a third-party having inherent insecurity. With mailpile, you run the service on your own system.