I've read both of his other survey articles linked in the post. Judging by those this will certainly be interesting. Aaronson does a great job tying formal theo

I've read both of his other survey articles linked in the post. Judging by those this will certainly be interesting. Aaronson does a great job tying formal theory to applications and getting across a good mental model for the math he writes about. Looking forward to digging into this one!