Liveblogger here. This post was best-effort liveblogged while the talk was going on, and this is an error transcribing the talk on my part. I've made a fix to r

Liveblogger here. This post was best-effort liveblogged while the talk was going on, and this is an error transcribing the talk on my part. I've made a fix to remove this line since it's misleading. Sorry about that!