49:45formally verified operating systemsTalk
seL4 Is Free – What Does This Mean For You?
Linux.conf.au 2015 -- Auckland, New Zealand
1 HN recommender
49:45formally verified operating systemsTalk
Linux.conf.au 2015 -- Auckland, New Zealand
1 HN recommender
What happens below an application determines how it performs and how it fails. These videos cover databases, operating systems, networks, distributed systems and security. They are suited to developers and operators investigating storage, reliability, infrastructure or the assumptions behind a security design.
Indie Picks is organized from video metadata and uploader descriptions; it is not a full-video editorial review. HN Library retains community discussions. Sources and data notes