@clacke https://nlnet.nl/project/OWI/ and also https://nlnet.nl/project/AVantGaRDe/ as I heard
Notices by hannes (hannesm@mastodon.social)
-
Embed this notice
hannes (hannesm@mastodon.social)'s status on Wednesday, 10-Jan-2024 00:35:09 JST hannes -
Embed this notice
hannes (hannesm@mastodon.social)'s status on Tuesday, 09-Jan-2024 13:12:52 JST hannes @NGIZero @EC_NGI great to see to have three #OCaml projects in that list :)
In conversation from mastodon.social permalink -
Embed this notice
hannes (hannesm@mastodon.social)'s status on Friday, 22-Dec-2023 03:06:24 JST hannes @djm agreed & there's https://datatracker.ietf.org/doc/html/rfc9413 :)
looking back, unfortunately formal methods work does not always pick up to ietf - e.g. our work on tcp/ip and the sockets api didn't get much resonance in the engineering community http://www.cl.cam.ac.uk/~pes20/Netsem/paper3.pdf
In conversation from mastodon.social permalink Attachments