alt
Hacker News
justaboutanyone
•
today at 4:34 AM
•
0 replies
•
view on HN
We may as well have the LLMs use the hardest most provably-correct language possible
alt Hacker News