Full threadsillypuddy·Presumably it's impossible to state what the big-o of a checking algorithm is since it's not proven to halt?View on HN