jco (Jul 06 2020 at 07:17): jco (Jul 06 2020 at 07:17):I'm curious what the state of the art is in formally verified network interactions. I said RPC because I'm curious what a formally verified protobufs alternative would look like, but it doesn't have to strictly be RPC. I imagine the DeepSpec people care about this question, though I checked their webpage and couldn't find any leads.
Last updated: Oct 05 2023 at 02:01 UTC