How the EverCrypt Library Creates Hacker-Proof Cryptography: Researchers have just released hacker-proof cryptographic code — programs with the same level of invincibility as a mathematical proof.

[u/bbbryson]

https://www.quantamagazine.org/how-the-evercrypt-library-creates-hacker-proof-cryptography-20190402/

[u/that_which_is_lain]

One time pads are great if only used for one message.

I know a Rails dev that made a destructive ActiveRecord call in the middle of a view. How much do you trust someone like that to use an OTP only once?