phanerozoic
/

threshold-computers

threshold-logic

computer-architecture

recurrent-neural-network

in-memory-computing

self-replication

Model card Files Files and versions

threshold-computers / src /netlist_eval.c

Commit History

Oct 8

03:34
Put the organism first and move serialization, sizes and the Rocq map to appendices

phanerozoic

5ee1fb5

Oct 7

23:31
Prove the paper's counts, levelization, depth bounds, recipe lengths and Section 6 in Rocq, and revise the paper

phanerozoic

8397e00

Sep 30

11:44
Rerun every result on the constant-depth host, add the amplified host with its fault-tolerance theorem and runs, the orbit certificate and the literature on growth, and cut the paper to 35 pages

phanerozoic

79ed4eb

Sep 29

19:09
threshold-computers: a family of machines built from ternary threshold gates, with the paper on universal construction and exact self-reproduction

phanerozoic

4a3e194