Dragon's Egg: a formally verified, distributed object-capability OS

(github.com) by iamthebesthere | Jun 29, 2026 | 0 comments on HN