Looks similar
Counting Lines of Code(andrewpwheeler.com)
12 points by apwheele | 5 comments
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.
The tiny chip that powers Montreal subway tickets(righto.com)
870 points by todsacerdoti | 469 comments
Ken Shirriff's blog post examining the NFC chip inside a disposable Montreal Métro paper ticket, explaining how it is powered by and communicates with the turnstile.






