Post B7VKLXuWLoabk0eKlE by kookie@toot.cat
 (DIR) More posts by kookie@toot.cat
 (DIR) Post #B7VHvKUzORXqhw4wUq by hyphen@duwa.ng
       0 likes, 0 repeats
       
       the halting problem is solvable actually:- halts? : program → bool+ halts? : program × fuel → bool option
       
 (DIR) Post #B7VKLXuWLoabk0eKlE by kookie@toot.cat
       1 likes, 0 repeats
       
       @hyphen Turing award right here