Engineering insights, release notes, and the road to delta-state computing everywhere.
An archived guide to delta-state architecture: mathematical foundations, comparisons with CRDTs, event sourcing, OT, and Raft, and where reconstruction may help.
CRDTs are powerful but complex. Delta-state algebra offers a different modeled convergence path with one core operation and machine-checked algebra proofs.
Practical patterns: accumulator fan-in, epoch checkpointing, fingerprint gates, rollback chains, and multi-stream convergence.
Step-by-step tutorial: a 3-node cache model using XOR deltas. Treat it as an educational pattern, not a production distributed-systems guarantee.
A conceptual comparison of delta-state algebra and event sourcing: where an accumulator model may help, and where append-only logs remain the right tool.
An archived engineering note on moving from Lean4 proofs to custom RISC-V instructions, HDMI output, and synthesis-characterized FPGA scaling.
Archived release note for a kernel-module prototype exploring redundant COW-copy detection, network-send analysis, and per-container attribution.
Release notes, technical articles, and hardware updates. No spam.