HN Explorer

Aurel300

↗ HN profile [ 47.6 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Show HN: A virtual machine in the Rust type system (github.com)

    As a follow-up to a CTF challenge I wrote, I created a small proof-of-concept virtual machine embedded in the Rust type system. Trait resolution and in particular associated types are used to "execute" a program,…

    2 points 0