Hyperkernel – A push-button approach to building provably correct OS kernels
94 by lainon | 15 comments on Hacker News.
New top story on Hacker News: Hyperkernel – A push-button approach to building provably correct OS kernels
Related Posts
New top story on Hacker News: The default OpenSSH key encryption is worse than plaintext
New top story on Hacker News: Learning from Terminals to Design the Future of User Interfaces
New top story on Hacker News: The French Language and Why We Learn It
New top story on Hacker News: Things they don’t teach you running a business by yourself
New top story on Hacker News: YouTube Stars Turning Viewers Into Readers
0 comments: