FRESH Hacker News
Home
Dragon's Egg: a formally verified, distributed object-capability OS
5 points by iamthebesthere