Ronny Fernandez comments on Open thread, Aug. 03 - Aug. 09, 2015

[Ronny Fernandez]

This is super interesting. Is this based on UDT?

[cousin_it]

Yeah, it’s UDT in a logic setting. I’ve posted about a similar idea on the MIRI research forum here.