Neural fab

Train a binary neural net on a truth table, compile it to NAND and LATCH, verify it on every vector, then tape it out: burn the bill and seal the netlist in one transaction.

Binary neural network

Weights and activations in {-1, +1}. A neuron is popcount(xnor(x, w)) against a threshold. Training is seeded hill-climbing on the full table, so the same task, width and seed always give the same net.

deterministic, in this tab, nothing sent

Truth table

Inputs on the left, target on the right. On the custom task, click a target cell to flip it.