News for hackers. Stuff that matters.
Re:Hyperkernel – A push-button approach to building provably... by baybal2 on Wednesday September 12, 2018 @06:13AM (#17967024)
8T Sram + advanced error correction codes push that into realms of astronomically improbable
Re:Hyperkernel – A push-button approach to building provably... by zaarn on Wednesday September 12, 2018 @07:01AM (#17967246)
SRAM is fun until you need more than 100MB of it.

There is also a number of other hardware failure scenarios.

Re:Hyperkernel – A push-button approach to building provably... by analognoise on Wednesday September 12, 2018 @11:22AM (#17969662)
God I wish we had denser, regular SRAM. The lack of overhead makes working with old-school async rams a lot of fun - I've only ever talked to DDR via the Xilinx MIG (or the Zynq's Synopsys DDR memory controller IP), and theres just so much more going on than in an old school SRAM.
Re:Hyperkernel – A push-button approach to building provably... by zaarn on Thursday September 13, 2018 @12:10AM (#17975944)
There are some options, I think MRAM and FRAM do have higher capacities but they're still expensive due to be fairly new...
Re:Hyperkernel – A push-button approach to building provably... by baybal2 on Thursday September 13, 2018 @07:30AM (#17977757)
MRAM is actually very good for rad hardness, but it has a showstopper for bizarre feature of "probabilistic read." Speciality 3T MRAM completely negates that flaw.