I'm patio11 in most places on the Internet, but if you ever need proof 
that a patio11 is me, you can consider the HTTPS certificate securing this 
file to kalzumeus.com (well-known to be my professional site) and the 
following to be pretty dispositive of it.


I am patio11 on:
  https://news.ycombinator.com/user?id=patio11
  https://www.reddit.com/user/patio11
  https://twitter.com/patio11
  https://forum.effectivealtruism.org/users/patio11  

I do not maintain a public presence on Facebook, and my private presence 
there is not aliased as patio11, due to (apparently) a policy decision about allowable names. (About which I have many thoughts, largely predictable from https://www.kalzumeus.com/2010/06/17/falsehoods-programmers-believe-about-names/ .)