Recently, MIRI released 7 brief technical reports that explain several pieces of theoretical progress made at our December 2013 research workshop. Several of these results build on work done at our July and November 2013 workshops, and also on between-workshop...