Some MIRI Workshop Stuff

Hi all,

I’ve written up some of my take-away thoughts from the MIRI workshop.

http://​​lo-tho.blogspot.com/​​2013/​​08/​​progress-in-logical-priors.html