Algorithmic Assertions - Craig Gidney's Computer Science Blog