Capabilities at Microsoft

Someday in the future, all important systems software on the planet will be written in a safe programming language. The questions are, when, and how do we get there?

YOUTUBE EVm938gMWl0 Safe Systems Software and the Future of Computing by Joe Duffy

In this talk, Joe Duffy describes his experiences at Microsoft building a new operating system written entirely in a Rust-like safe systems language.

He also talked about subsequent efforts taking those experiences and applying them to the heart of Windows, and the associated technical and cultural challenges.

ToDo reprise the key bullets. - Capabilities, Message Passing and Isolation.