Bret Victor - "The Future of Programming"
https://vimeo.com/71278954

This talk is depressing.

It's not depressing because there aren't modern examples of what he's talking about, because we do have those. (Well, sort of. I don't know if feature detection counts as "goal-directed" w/r/t goal-directed protocol negotiation.) The depressing parts are

1. how rare these modern examples are
2. how much stuff you have to reinvent if you want to get anywhere close to the future he's describing