News for hackers. Stuff that matters.

A comment on Hyperkernel – A push-button approach to building provably correct OS kernels. Parent comment

Re:Hyperkernel – A push-button approach to building provably... by vardump on Wednesday September 12, 2018 @03:07AM (#17966164)
Just once? It's not that rare...
[ Parent | on HN ]

There are no comments on this comment yet.