Here's a respository of our ideas, notes, and open problems.