I am a Strange Loop is basically GEB but written properly instead of being a random collation of ideas.

Unrusprisingly, since many years went by. But I still love the quirkiness of GEB

(Also, he has other books between the two, I deeply enjoyed Le Ton Beau de Marot, about translations)

Thanks for the suggestions. Just checked out some of Le Ton Beau de Marot, will most likely read the rest.

Actually, I was recently wondering whether poems can be interpreted as "efficient" computer programs. Words in a sentence/essay just connect different objects in space and time (syntactically and semantically) to form some concept, kind of like a program. A poem just uses higher order abstractions (imagery) to express the same concepts in fewer words.

So this book should be great!