iamthebesthere

↗ HN profile [ 23.5 ms ] full profile

Karma: 0
Created: ()
Submissions: 0

Dragon's Egg: a formally verified, distributed object-capability OS (github.com)

5 points 2mo ago 1