Baz00k@
Science · computers · storage · reliability

Computers

Technické články o ukládání dat, spolehlivosti systémů, formálním důkazu a vývoji počítačových úložišť.

Spolehlivost

Fault tolerance a self-healing

ECC, RAID, replikace, watchdog, failover, konsensus a společné příčiny selhání.

Číst →
Matematika · software

Matematický důkaz, Gödel a formální verifikace

Axiomy, věty o neúplnosti, proof assistants a meze formálně ověřeného softwaru.

Číst →
Storage · historie

HDD: historie, fyzika, technologie a ceny

RAMAC, ST-506, GMR/TMR, PMR, helium, SMR, HAMR/MAMR a vývoj kapacit.

Číst →