Language Without Code
My new paper (direct link to PDF) focuses on the unusable esolangs; languages that can't be programmed in: they're unpredictable, require programs can't be physically manifested, have logical rules inconsistent with our universe, or simply make even the simplest of programs impossible to write.
Why focus on the unusable / uncomputable languages? The concept of "programming language” is much less well-defined than one might think, defined mainly through utility -- despite the fact that programing languages existed before they were usable in an automated way. The most direct challenge to this are the languages that you can’t program in. These, and esolangs more generally, are an avant-garde strain of computer science, digging into the less-defined spaces around logic, language and computability.
CITAR Journal is published in Portugal; this work is expanded from a presentation I gave in Lisbon this summer as part of the xCoAx conference.















