Hacker News new | ask | show | jobs
by codebeaker 2081 days ago
Having watched the first 20 minutes of the linked video, I'm sure that's what OP wanted to share, but I got next to nothing from it.

The entire talk is about memory layouts and how nothing has a meaning unless we ascribe a meaning to it.

I don't really know what this has to do with types, or type systems, which are an algebraic concern, as far as I'm concerned.