Hey HN, hope you enjoy this idea!

LLMs are a game-changer, but they’re only half the story: probabilistic and fuzzy. The missing half is a universal formal language: something precise enough to translate cleanly between human languages and let anyone communicate with computers, without learning programming!

My dream is to remove barriers everywhere: culture, science, medicine, law, diplomacy. You don’t erase ambiguity, you encode it! Dialects, jargon, puns, inside jokes, social context.. we can build everything in.

Maybe this isn't possible, but now that we have language models to help... it might be!