Wow I saw this page first without realising it's him. I remember being blown away by his research, and the fact that they're in separate areas (symbolic execution and exokernels). It seemed like he'd stopped publishing a few years ago - do you know why?
hyped things are made hype from a belief that it can be 'done' therefore invested in, but that can be done in one part of ML, which doesn't give any reason to say it generates all intelligence for a machine for human tasks.
I really appreciate you sharing this, as myself always try to create a learning path and make things clearer as much as possible on top of it, slides are good looking (design awesome). the problem sometimes comes is at its overwhelming when advanced things pop up in talk and its hard to know what should we listen to it or is it above our level of the current situation.
Not the OP, but the reason is we are all humans, i.e. there is some degree of flexibility - I've seen "0nsite" posts, but when asked, the poster have replied that for the "right person" rem0te can be possible...
