My modern take on (un)secure operating system for the future : https://news.ycombinator.com/item?id=48167846

Rebuild everything from scratch, with AI agents. Then make them prove what they wrote.