Ship Your Interpreter basis.ai· lo · ▲ 0 points · Oct 17, 2026 Basis Ship Your Interpreter LLMs can write rules for a programming language and prove that its interpreter follows them.
0 comments
No comments yet.