Co-founder and CTO of PingCAP (TiDB), angel investor in early-stage infrastructure and developer tools startups.