News for hackers. Stuff that matters.
Re:Hyperkernel – A push-button approach to building provably... by natmaka on Wednesday September 12, 2018 @03:47AM (#17966324)
Aren't ECC RAM and redundancy able to keep both the dead and the chocolate where they belong?

https://en.wikipedia.org/wiki/ECC_memory https://en.wikipedia.org/wiki/Redundancy_(engineering)

Re:Hyperkernel – A push-button approach to building provably... by zaarn on Wednesday September 12, 2018 @04:45AM (#17966601)
With some probability, yes, but it's still non-zero. There are other failures where ECC doesn't help (ie, bitrot on your SSD or Harddrive, cosmic ray hitting the CPU itself, anything that does DMA).

The best we can do is deploy ECC, hope the cosmic rays don't hit our Datacenter too hard and design software to fail fast if it fails, even if math says it can't fail. Because it will fail.

Re:Hyperkernel – A push-button approach to building provably... by adrianN on Wednesday September 12, 2018 @05:45AM (#17966906)
It's not impossible to add enough error correction and redundancy to your stuff that it's more likely that we're wiped out by an asteroid than for your software to crash because of cosmic rays.
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.