|
|
|
|
|
|
by nathan_f77
3372 days ago
|
|
|
I am one of those people who doesn't have any relevant experience, but I think it would be amazing if curl and openssl were written with formal verifications, and with complete memory safety. And maybe in a purely functional style. It would be nice if lots of critical software was written to a much higher standard. |
|
|