A programming contest, somewhat in the style of an obfuscated programming contest, with programs which cannot be directly run. Perhaps it takes longer than the age of the universe, and more memory than every atom, to print "Hello world".
Unrealistic but finite time and space requirements to compute something. Programs cannot be directly run. Perhaps entries have to come with a formal proof.
Inspired by Busy Beaver, whose terminating programs are simulated not by directly running them.
No comments :
Post a Comment