Ben Pace comments on Tarski’s truth sentences and MIRI’s AI

[Ben Pace]

Lurking for a while before posting on a website is a good idea :)