Hacker News new | ask | show | jobs
by justaboutanyone 138 days ago
We may as well have the LLMs use the hardest most provably-correct language possible