Hacker News28h agoenergy 61
Ship Your Interpreter
image: Hacker News
LLMs can write rules for a programming language and prove that its interpreter follows them.
This source publishes only a summary in its feed, so the full article lives at the outlet. The link above and below goes to the original.