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

Thinking in Multiple Domains
minimal-reflections.pages.dev·1d·
Discuss: Hacker News