Ship Your Interpreter(basis.ai)
18 points by gopiandcode | 7 comments
Basis blog post describing using LLMs to write a formal semantics for a small language and Lean to prove its interpreter correct down to RISC-V compiled code.
basis.ai on Hacker News
1 story on the front page, newest first. Scroll down to watch the site change over time.