Seol mar théacs é seo: A madman dreams of Turing machines