| ▲ | Dragon's Egg: a formally verified, distributed object-capability OS(github.com) | |
| 5 points by iamthebesthere a day ago | 1 comments | ||
| ▲ | iamthebesthere a day ago | parent [-] | |
[flagged] | ||
| ▲ | Dragon's Egg: a formally verified, distributed object-capability OS(github.com) | |
| 5 points by iamthebesthere a day ago | 1 comments | ||
| ▲ | iamthebesthere a day ago | parent [-] | |
[flagged] | ||