So cool to see that binary format parsing is finally being formalized. I once asked a question related to this on the computer science stack overflow: https:/

So cool to see that binary format parsing is finally being formalized. I once asked a question related to this on the computer science stack overflow: https://cs.stackexchange.com/q/60718 https://cs.stackexchange.com/q/60718 Would someone like to add this as an answer?