Baz00k@
Science · Computers · Storage · Reliability

Computers

Technical articles on data storage, reliability of systems, formal evidence and development of computer storage.

Reliability

Fault tolerance and self-healing

ECC, RAID, Replication, Watchdog, Failover, Consensus and Common Causes of Failure.

Read →
Mathematics · Software

Mathematical evidence, Gödel and formal verification

Axioms, incompleteness theorems, proof assistants and limits of formally verified software.

Read →
Storage · History

HDD: History, Physics, Technology and Prices

RAMAC, ST-506, GMR / TMR, PMR, helium, SMRs, HAMRs / MAMR and capacity development.

Read →