Great video. I don't pretend to understand functional languages but the ideas about memory layout and DSLs for r/w of Ethernet frames seemed really elegant.