Trending News

A new experimental OS called Dragon's Egg emerges, applying formal verification and object-capability security to distributed systems. Is it a secure future or a niche research project?