Post

I believe that Language is humanity's first technology. The LLM is a revolution but it’s only the first half- it is probabilistic and uncertain. To address the other half: we need to develop a universal formal language!

A formal language would unlock solid and unambiguous translation between human languages. And would enable universal access to programming languages.

We could dismantle the barrier between cultures, and allow humanity to unlock the raw power of their computers- without technical knowledge. So much human knowledge is inaccessible without the right language: science, medical practices, legalese, vague diplomacy.

It is possible to encode and embrace the ambiguity and clarity that different languages provide- providing tools to pack and unpack literary devices. Language is messy and beautiful, and you can almost always use more words to properly share cultural context across boundaries.

This is not a probabilistic language model, this is the formal counterpart. Before the advent of the LLM, this wouldn’t be possible to develop. And it won’t succeed without widespread community adoption- but I can dare to dream.