ParentFull threadjustaboutanyone·We may as well have the LLMs use the hardest most provably-correct language possibleView on HN