Ship Your Interpreter
What happened
LLMs can write rules for a programming language and prove that its interpreter follows them.
Summary assembled by rule from the sources below
Why it's spreading
Sources
Community
- Ship Your InterpreterLobsters
LLMs can write rules for a programming language and prove that its interpreter follows them.
Summary assembled by rule from the sources below