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:
2
4
Thanks, glad you liked it! Hopefully it goes some way to explaining what I’ve been puzzling over these past couple of years 😅
1
2
Show replies
Replying to
Might be worth giving @ rustlang a pointer to this so you can get a retweet :)
1
1