Co-Founder @ Cosmos. CEO @ Informal Systems