ParentFull threadckcheng·There doesn’t seem to be much information on how they attempted and failed to solve the combinatorial type problems.Anyone know any details?View on HN