On Thursday, 18 February 2016 at 20:18:14 UTC, David Nadlinger wrote: > On Wednesday, 17 February 2016 at 22:57:20 UTC, Márcio Martins > wrote: >> […] > > On a completely unrelated note, you aren't by any chance the > Márcio Martins who is giving a talk at ETH in a couple of days, > are you? > > — David No, I'm not.