Thanks for that ACM SIGPLAN talk link, it was very fascinating and engaging.