A R4RS Compliant REPL in 8Kb
summary
Claims a full R4RS compliant REPL implemented on the Ribbit Virtual Machine and squeezed into a 7 KB Linux executable (6.5 KB measured). Implementation compiles Scheme into a custom ribbon IR, tailors a minimal RVM per program, uses Define primitive FFI, liveness analysis, range-specialized encoding and LZSS-style backpointer compression. It runs file I/O, compares reasonably to Gambit on many benchmarks, and the compact executable demonstrably works.
AI-written summary · about
chapters (8)
- 0:00Introduction to Ribbit
- 2:30How Ribbit works
- 7:29Code graph and execution
- 12:30Serialization and decoding
- 16:28Shrinking to 7 kilobytes
- 23:16Results and performance
- 25:27Q&A session
- 35:02Steering committee update
related talks
26mThe Big-endian RISC-V Linux Adventure
50mInitializing RISC-V A Guided Tour for ARM Developers
57mReflections on a decade of MoarVM, a runtime for the Raku programming language
18mThe Big-endian RISC-V Linux Adventure
19mRubinius — Ruby implemented with Ruby
14mLinux on RISC-V
30mAnatomy of a run-time: your contract with the kernel
19mRex: Closing the language-verifier gap with safe and usable kernel extensions