Niner since 2009
This one much better talk about Dryad then previous one with Roger Braga More details, less advertisement.
Bring us more interesting talks !
Can we please have more of Erik with Brian together.
Let them discuss varinats in type system or other academic stuff. Or mroe real life MSR projets, for example spec#, spec explorer, axum etc.
Maybe someday you can get Yury Gurevich and Tony Hoare together
Thanks Charles, awesome video.