Strange Loop: "Propositions as Types" by Philip Wadler

And for the last of my selection from Strange Loop 2015, here is "Propositions as Types" by Philip Wadler, based on my paper of the same name, which I am told will soon appear in Communications of the ACM. I received more compliments on this talk than for any other, which I take as one benefit of the friendliness and fun of the Strange Loop crowd. Thanks to Alex Miller and the crew for assembling a great conference!

Strange Loop: "Everything Old is New Again: Quoted Domain Specific Languages" by Philip Wadler

I have many more favourites from Strange Loop 2015, but for now I will just post the videos of my own talks. Here is "Everything Old is New Again: Quoted Domain Specific Languages", based on "A practical theory of language integrated query, by Cheney, Lindley, and myself and the eponymous draft paper, by Najd, Lindley, Svenningsson, and myself. Above is the Strange Loop talk, below the talks from Curry On, Prague, 2015 and DSLDISS, Lausanne, 2015.

Strange Loop: "Strange Loops: Capturing Knots With Powerful Notations" by Kay Ye

Third in my series of favourites from Strange Loop 2015. "Strange Loops: Capturing Knots With Powerful Notations" by Kay Ye. Ye has learned all about knot theory, and explains it to you. Great fun for anyone interested in how to describe complex situations, and which programming language afficionado can resist that? With beautiful hand-drawn slides.

Strange Loop: "Security for Humans: Privacy and Coercion Resistant Design" by Morgan Marquis-Boir.

Second in my series of favourites from Strange Loop 2015:  "Security for Humans: Privacy and Coercion Resistant Design" by Morgan Marquis-Boir. Marquis-Boir is head of security for The Intercept, the online news source founded by Glen Greenwald and Laura Poitras, the journalists who Edward Snowden chose to be his conduit to the world. Morgan surveys computing and security as of 2015. Time to encrypt your phone!

Strange Loop: "From Protesting to Programming: Becoming a Tech Activist" by Idalin Bobé

A selection of my favourite talks from Strange Loop 2015. First up, "From Protesting to Programming: Becoming a Tech Activist" by Idalin Bobé. It's a cliché to call a story inspiring, but Bobé's story inspired me. She began life in the Badlands in North Philadelphia and pulled herself up by her bootstraps to become a tech activist on the frontlines in Ferguson.