Hacker News new | ask | show | jobs
by rytill 2756 days ago
It's not totally a heuristic, though it's intractable to use it the real way. Which theory has a shorter program that generates it?