[–] hoping1 2y ago ↗ In this post I talk about Crary et al.'s Calculus of Capabilities, how it can be used for safe manual memory management without requiring values be used linearly in any way, and why I chose it for SaberVM.
1 comment
[ 3.3 ms ] story [ 15.3 ms ] thread