[–] 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
[ 0.22 ms ] story [ 12.8 ms ] thread