DIM:4 ▸ VERTS:16 ▸ EDGES:32
5 DIMENSIONAL SPACE TIME ANIMATION
Arithmetic that rounds once
b-posit operands and a 256-bit exact accumulator: dot products carry no accumulated rounding error, and the answer no longer depends on which chip computed it.
Exact arithmetic
INVAR: AI that proves its work
A local, OpenAI-compatible endpoint where every inference writes a re-executable receipt. Free, open source, one line to install.
Meet INVAR
From RTL to a fabricated die
The same datapath is bit-exact on an Alveo FPGA and on commercial accelerators, has been taped out on 130 nm, and its core blocks are formally proven correct.
Silicon
An open standard for receipts
Computation Receipts is a published spec with conformance vectors and independent implementations, so verification does not depend on trusting Anomly either.
Read the spec