Implementing an Intermediate Representation for ArkScript(lexp.lt)

3 points by jackrabbit_ 2 years ago | 1 comments

Verified dynamic programming with Σ-types in Lean(tannerduve.github.io)

77 points by rck 1 year ago | 25 comments

Fuzzing the Gleam Compiler(kurz.net)

57 points by crowdhailer 2 months ago | 7 comments

I have written a JVM in Rust(andreabergia.com)

655 points by lukastyrychtr 3 years ago | 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.

Writing about writing about programming(axleos.com)

46 points by codyd51 3 years ago | 2 comments

Writing a Hypervisor in 1k Lines(seiya.me)

93 points by ingve 1 year ago | 9 comments