It's not so much about formal logic, but general predictability. even with formally composable languages like JavaScript, a semblance of unpredictability — aki

It's not so much about formal logic, but general predictability. even with formally composable languages like JavaScript, a semblance of unpredictability — akin to the "faerie logic" metaphor — still persists And they're ridiculed for it, and as you state, we design around them or replace such systems entirely. making continual interaction with them unavoidable Technology is never unavoidable or "inevitable". We can choose not to use it, or when to use it. The notion that we can pass a set of code or words through them once and expect a flawless result is simply illogical. Yet that is what we expect when we put these systems into production use, especially when many proposed use cases are user-facing and subject to injection attacks. Whether it be the writing of adcopy, the processing of loan applications, or generating code, mistakes in these tasks have very real consequences.