Hacker News new | ask | show | jobs
by RetroTechie 2 days ago
To clarify: capabilities-based OS != verified correct software.

But there's much synergy there. Each enhances the other.