LLMs suck at actually understanding your request, do things you don’t intend, or resolve ambiguities in weird ways. So what if we invented a language that could specify precisely what we want to ha...