Shalaska

@Shalaska@programming.dev

This is a remote user, information on this page may be incomplete. View at Source ↗

⁨Comment⁩ on ⁨They Need To Stop Doing This⁩ ⁨⁨1⁩ ⁨year⁩ ago⁩:
Because that will fail to detect a program that halts in X+1 time. The problem isn’t to detect if a program that halts halts, the problem is to generally create an algorithm that will guarantee that the analyzed program will always halt given an infinite time running on an infinite computer.
⁨Comment⁩ on ⁨How to build a computer using origami⁩ ⁨⁨1⁩ ⁨year⁩ ago⁩:
Check out programming.dev for a Comp Sci focused community.