So it seems my talk from is now online! It's about my attempts at thinking of new ways of parsing binary formats in #rustlang using dependent types:
Conversation
Still lots of work still to do, but the repository where we are working on this is here:
