Author and inspect
Explore tensor operations, nested maps and folds, storage ownership, and ordering in one editable graph.
A circuit laboratory for kernel research
Make the mathematics
of movement visible.
Build tensor computations, explore different decompositions, and check whether their results agree. Copies, storage, and transfers belong in the graph.
Start with your Zerg account →Private projects · Autosave · Replayable evidence
PLACE ATensor xN elements
→COMPUTE∑ reduceExact real arithmetic
→TRANSFERCopy scalar1 element
→PLACE BResultSame boundary value
Compare with evidence
Apply checked transformations and replay certificates against the circuits they describe.
Keep your research
Save private drafts across devices, name checkpoints, and exchange portable project files.
Verification uses a bounded exact-real model. Results do not establish floating-point equivalence or hardware timing.