993 MB

Ctrl+K

1 contributor

History: 20 commits

phanerozoic

Give each letter one meaning and cut the paper to 42 pages

b5f8639 8 days ago

llm_integration
Consolidate the Python sources into twelve files with one-line docstrings, fold the demos into the playground, and delete the scripts that do not belong to the artifact 11 days ago
paper
Give each letter one meaning and cut the paper to 42 pages 8 days ago
rocq
Put the organism first and move serialization, sizes and the Rocq map to appendices 9 days ago
routing
threshold-computers: a family of machines built from ternary threshold gates, with the paper on universal construction and exact self-reproduction 17 days ago
src
Answer the referee report and clarify the paper: notation, an example, a conclusion and the organism's records 9 days ago
tools
Consolidate the Python sources into twelve files with one-line docstrings, fold the demos into the playground, and delete the scripts that do not belong to the artifact 11 days ago
variants
Replace the interpreter sections with the two-head machine and translating organism proved in Rocq, prove the hosted constructor in full, compute the restoration bound in C, add independent reproductions of the paper's constructions and measurements, and cut the paper to 36 pages 11 days ago
.gitattributes

1.61 kB
threshold-computers: a family of machines built from ternary threshold gates, with the paper on universal construction and exact self-reproduction 17 days ago
.gitignore

553 Bytes
Prove the paper's counts, levelization, depth bounds, recipe lengths and Section 6 in Rocq, and revise the paper 9 days ago
CITATION.cff

1.08 kB
threshold-computers: a family of machines built from ternary threshold gates, with the paper on universal construction and exact self-reproduction 17 days ago
README.md

70.4 kB
Put the organism first and move serialization, sizes and the Rocq map to appendices 9 days ago
neural_computer.safetensors

46 MB
xet

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