Really great talk exploring the sort of structural and cognitive aspects of programming!
Anyone else also suddenly interested in whatever the hell TLA+ is?