A partial digestion of the HRT counterexample

by ijustlovemath | View on Hacker News