Join the conversation

Join the community of Machine Learners and AI enthusiasts.

Sign Up
Quazim0t0Β 
posted an update 10 days ago
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. πŸ€—

Perfect πŸ’ͺ