Memory Safety, Rust Ownership, Linear Types, Resource Management

Compiling Dinner
gist.github.com·17h·
Discuss: Hacker News
Introducing TypeKro
yehudacohen.substack.com·1d·
Discuss: Substack