3 ms·So they've solved the halting problem then?by snovv_crash 9y agoSo they've solved the halting problem then?