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.
#interpreters on Hacker News
11 stories tagged interpreters, newest first.
Show HN: Thoreau BASIC – What if BASIC hadn't gone out of fashion?(thoreaubasic.com)
65 points by Gorsefound | 33 comments
Homepage for Thoreau BASIC 3.2, a free 64-bit GW-BASIC-inspired interpreter with x64 JIT for Windows and bare-metal UEFI, with downloads and documentation.
Beating the compiler (2024)(mattkeeter.com)
57 points by andsoitis | 38 comments
Matt Keeter's blog post on writing an interpreter for the Uxn stack-based CPU in hand-written assembly to outperform compiler-generated code.
Needed 1+1, built a functional programming language(hereticpleb.vercel.app)
137 points by birdculture | 57 comments
A blog post on hereticpleb recounting how needing to compute 1+1 led the author to build a functional programming language.
Fabrice Bellard Releases MicroQuickJS(github.com)
1460 points by Aissen | 547 comments
GitHub README for MicroQuickJS, a compact JavaScript engine by Fabrice Bellard derived from QuickJS.
Performance of the Python 3.14 tail-call interpreter(blog.nelhage.com)
557 points by signa11 | 160 comments
Blog post by Nelson Elhage examining the performance gains of CPython 3.14's new tail-call bytecode interpreter and reassessing its reported 10-15% speedup.
Everything Is Just Functions: 1 week with David Beazley and SICP(ezzeriesa.notion.site)
370 points by kurinikku | 211 comments
A Notion-hosted blog post recounting a week-long SICP course taught by David Beazley, covering functions, interpreters, and tail call optimization.
Parsing protobuf at 2+GB/s: how I learned to love tail calls in C (2021)(blog.reverberate.org)
329 points by fanf2 | 140 comments
Josh Haberman's blog post on using Clang's musttail attribute for guaranteed tail calls in C to build a protobuf parser exceeding 2GB/s.
Crafting Interpreters(craftinginterpreters.com)
531 points by metadat | 164 comments
Homepage of Crafting Interpreters, Robert Nystrom's book on implementing a full-featured scripting language with a tree-walk interpreter and bytecode VM.
Ask HN: Is anyone using PyPy for real work?
448 points by mattip | 137 comments
Ask HN post by PyPy's release manager asking whether anyone uses PyPy in production or research, to guide future development efforts.
I have written a JVM in Rust(andreabergia.com)
655 points by lukastyrychtr | 144 comments
Blog post by Andrea Bergia describing rjvm, a toy Java Virtual Machine he wrote in Rust as a learning project, and its limitations.