rust
dag_exec: a std-only DAG executor for CPU-heavy pipelines (pruning + bounded parallelism)
A tiny std-only DAG executor that computes only the requested outputs (partial evaluation) and runs heavy nodes in parallel with explicit bounds.
3/3/2026 • 4 minRollup Commitments as a DAG: Pruning, Parallelism, and Proof Plumbing (Rust std-only)
A rollup-shaped batch pipeline modeled as a DAG: compute only the chunk/proof you need, and scale CPU-heavy hashing with bounded parallelism — all in std.
3/1/2026 • 8 minTesting Concurrency Invariants in a Parallel Executor
How to verify max_in_flight bounds using AtomicUsize, CAS loops, and deterministic gating without sleep().
2/24/2026 • 4 minDesigning Backpressure in a Parallel DAG Executor
How I introduced bounded backpressure into a parallel DAG scheduler using sync channels and an in-flight cap.
2/21/2026 • 5 minRust — Trait Objects, Sized, and Why My DAG Needed `Box<dyn Fn>`
Why heterogeneous closures require type erasure, how trait objects become unsized, and why 'static is necessary when storing tasks.
2/14/2026 • 4 min