Memory Safety, Ownership Models, Systems Programming, Compile-time Verification

Threaded Code
muforth.dev·13h·
Discuss: Hacker News