Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

Deep Zionism
scottaaronson.blog·1h·
Discuss: Hacker News