4 ms·
Agree that soundness is desirable, but "it only works on a subset of instances" and "you are restricted to a non-Turing complete subset" are not equivalent in t
by lou1306 2y ago
Agree that soundness is desirable, but "it only works on a subset of instances" and "you are restricted to a non-Turing complete subset" are not equivalent in the slightest.
- deleted 2y ago[deleted]
- lostmsu 2y agoNot sure what are you trying to say. Surely the "subset of instances" is non-Turing complete.