Post
2901
π§© Verified neural units, now for memory & storage
Following up on my neural-aarch64-units (small MLPs that emulate CPU datapath slices, verified bit-exact over their entire finite input domain β N/N), I applied the same discipline to memory and storage. Three new repos:
π· neural-ddr β verified units emulating DDR5 logic: DBI (256/256, 512/512), ADDR_MAP (4096/4096), CMD_DECODE (32/32), WR_CRC (512/512), and on-die ECC ODECC (256/256, 3328/3328). Composed into a bridge that presents DDR5 behavior over real DDR3/DDR4 RAM β flip a bit in every stored byte, ECC corrects all of them.
π€ Quazim0t0/neural-ddr Β· π» https://github.com/quzi93/neural-ddr
ποΈ neural-storage β a self-healing vault on a neural-verified GF(2βΈ) core (LOG/EXP compose to a multiply verified over all 65,536 pairs). Content-addressed dedup + Reed-Solomon so any k of n shards rebuild the whole, plus a whole-drive β self-healing .pt imager.
π€ Quazim0t0/neural-storage Β· π» https://github.com/quzi93/neural-storage
πΏ neural-cd-preserve β scan a disc into a self-healing .pt that detects (per-shard SHA-256) and repairs bit-rot, restoring bit-exact even from a damaged copy. Beyond the RS limit it's flagged LOST, never silently wrong.
π€ Quazim0t0/neural-cd-preserve Β· π» https://github.com/quzi93/neural-cd-preserve
Build your own: golden finite function β enumerate the domain (decompose big/linear ops like CRC/ECC/GF into bit/byte slices) β train a small MLP β verify must be bit-exact on 100% of inputs or it's rejected β compose. Every repo ships the training + exhaustive-verification scripts.
Honest by construction: dedup removes redundancy, erasure coding adds it, ECC corrects faults β none of it pretends to beat entropy. Runs on modest/older hardware. π€
Following up on my neural-aarch64-units (small MLPs that emulate CPU datapath slices, verified bit-exact over their entire finite input domain β N/N), I applied the same discipline to memory and storage. Three new repos:
π· neural-ddr β verified units emulating DDR5 logic: DBI (256/256, 512/512), ADDR_MAP (4096/4096), CMD_DECODE (32/32), WR_CRC (512/512), and on-die ECC ODECC (256/256, 3328/3328). Composed into a bridge that presents DDR5 behavior over real DDR3/DDR4 RAM β flip a bit in every stored byte, ECC corrects all of them.
π€ Quazim0t0/neural-ddr Β· π» https://github.com/quzi93/neural-ddr
ποΈ neural-storage β a self-healing vault on a neural-verified GF(2βΈ) core (LOG/EXP compose to a multiply verified over all 65,536 pairs). Content-addressed dedup + Reed-Solomon so any k of n shards rebuild the whole, plus a whole-drive β self-healing .pt imager.
π€ Quazim0t0/neural-storage Β· π» https://github.com/quzi93/neural-storage
πΏ neural-cd-preserve β scan a disc into a self-healing .pt that detects (per-shard SHA-256) and repairs bit-rot, restoring bit-exact even from a damaged copy. Beyond the RS limit it's flagged LOST, never silently wrong.
π€ Quazim0t0/neural-cd-preserve Β· π» https://github.com/quzi93/neural-cd-preserve
Build your own: golden finite function β enumerate the domain (decompose big/linear ops like CRC/ECC/GF into bit/byte slices) β train a small MLP β verify must be bit-exact on 100% of inputs or it's rejected β compose. Every repo ships the training + exhaustive-verification scripts.
Honest by construction: dedup removes redundancy, erasure coding adds it, ECC corrects faults β none of it pretends to beat entropy. Runs on modest/older hardware. π€