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 a_t48 on Wednesday September 12, 2018 @12:37AM (#17965590)
Definitely. I hit an ECC failure once. Felt like I should have bought a lotto ticket.
[ Parent | on HN ]
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 ]