@
0 reply
0 recast
0 reaction

Dan Romero pfp
Dan Romero
@dwr.eth
But that arbitrary definition, Bitcoin and Ethereum aren’t real protocols either.
2 replies
0 recast
8 reactions

Juuso pfp
Juuso
@juuso
IMO IETF is not usefully formal either -- when the specification is in written English there are always room for interpretation errors. A code-based "mechanized" specification would be much more precise, especially when the "end-user" is a computer agent.
0 reply
0 recast
0 reaction