Practice-Oriented Provable Security & the Social Construction of Cryptography | Hacker News Reader