|
|
|
|
|
|
by baq
23 days ago
|
|
|
> The person who specified this most likely was aware that this is turing complete and it's the rules author's responsibility not to write infinite loops Software developer’s job description: prove that this instance of the halting problem you’re being paid to work on today is decidable |
|
|