▲ 10 ▼ The gpg.fail aftermath: On responsible disclosure, GPG, and the state of security in 2026 (media.ccc.de) submitted 3 days ago by modem_down@thebrainbin.org to c/security@lemmy.ml 5 comments fedilink hide all child comments Crossposted from https://futurology.today/post/12245375
[–] victorz@lemmy.world 1 point 2 days ago* (last edited 2 days ago) (1 child) Implemented in OCaml, interesting. 😁 Seems like it's mostly used academically though? permalink fedilink source parent hideshow 1 child comment replies: [–] solrize@lemmy.ml 1 point 1 day ago Yeah it's way too effort intensive for routinely slamming out code. The main purpose for me of studying stuff like that is to sharpen my understanding of programming, rather than to actually use it. Look at the CompCert project though (compcert.org). permalink fedilink source parent
[–] solrize@lemmy.ml 1 point 1 day ago Yeah it's way too effort intensive for routinely slamming out code. The main purpose for me of studying stuff like that is to sharpen my understanding of programming, rather than to actually use it. Look at the CompCert project though (compcert.org). permalink fedilink source parent