Hyperkernel – A push-button approach to building provably correct OS kernels
85 by lainon | 13 comments on Hacker News.
Wednesday, September 12, 2018
New top story on Hacker News: Hyperkernel – A push-button approach to building provably correct OS kernels
Subscribe to:
Post Comments (Atom)
Elon Musk’s xAI Raises $6 Billion in New Funding
By Kate Conger from NYT Technology https://ift.tt/9dcwtH5
No comments:
Post a Comment