Brendan Zabarauskas@brendanzabยทNov 17, 2019So it seems my talk from @ComposeMelb is now online! It's about my attempts at thinking of new ways of parsing binary formats in #rustlang using dependent types:youtube.comBrendan Zabarauskas - Lost in a Universe of Types - Compose Melbourne...Lost in a Universe of Types: My Adventures in Programming LanguagesProgramming language design is kind of like world building. This is what initially got me ...3729
Wesley Moore@wezmยทNov 18, 2019Might be worth giving @ rustlang a pointer to this so you can get a retweet :)1
Brendan Zabarauskas@brendanzabReplying to @wezmOhh hah, @rustlang! Look I did a thing! ^ ๐ 11:11 PM ยท Nov 18, 2019ยทTwitter for iPhone1 Like