Untitled attachment

Notices where this attachment appears

1. Embed this notice
   hannes (hannesm@mastodon.social)'s status on Friday, 22-Dec-2023 03:06:24 JST hannes

   in reply to

   @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