Some interesting stuff on formal code verification, I wonder if it can be applied some day to improve #Bitcoin crypto libraries:

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