How do data encoding and file transfer/networking protocols work as test cases for Phil Lang assumptions about the necessary or impossible properties of languages? When you see a contradiction, what does that tell us about languages as a category? Shannon and maybe general semantics might have already gone over a bunch of this. I guess embeddings vs attention vs just ngrams tells you stuff here too.