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 Piskvorrr on Wednesday September 12, 2018 @03:59AM (#17966377)
They're capable of pushing down the odds, at a price.
[ Parent | on HN ]

There are no comments on this comment yet.