GitHub repository: lacker/hotpo
Primary language: Python
Created: 2016-01-18T21:37:44Z
Description: Theory: HOTPO always converges to 4-2-1, but not for some "deep mathematical" reason. Instead it just happens to statistically net out of a zillion little details. Maybe we can programmatically find some invariant that proves this.