| | 15,000 lines of verified cryptography now in Python (protzenko.fr) |
|
483 points by todsacerdoti 21 days ago | past | 158 comments
|
|
| | The strange world of GitHub repositories (protzenko.fr) |
|
3 points by matt_d on Dec 13, 2019 | past
|
|
| | Generating C code that people want to use (protzenko.fr) |
|
225 points by bibyte on March 4, 2019 | past | 51 comments
|
|
| | Generating C code that people want to use (protzenko.fr) |
|
4 points by matt_d on March 2, 2019 | past
|
|
