jonathan.protzenko.fr on Hacker News
2 stories on the front page, newest first. Scroll down to watch the site change over time.
15,000 lines of verified cryptography now in Python(jonathan.protzenko.fr)
447 points by todsacerdoti | 142 comments
Blog post by Jonathan Protzenko describing how CPython now uses the formally verified HACL* library for all its default hash and HMAC algorithms.