I used to chat with Mircea all the time back in the #bitcoin-otc IRC days (circa 2010-2012). He's a nice guy, and very smart.