Re:No More Blue Fridays
by neaanopri on Monday July 22, 2024 @09:32AM
(#41034164)
It's more accurate to say that in principle, there could be programs that would halt, but that the verifier will deny.
[ Parent
| on HN ]
There are no comments on this comment yet.