Building and deploying provably secure communication software | Hacker News Reader