Formally verified threshold logic circuits. Compatible with neuromorphic hardware.
Charles Norton
phanerozoic
AI & ML interests
Machina vincit omnia
Recent Activity
updated
a model
31 minutes ago
phanerozoic/8bit-threshold-computer
updated
a model
about 20 hours ago
phanerozoic/32bit-threshold-computer
updated
a model
about 20 hours ago
phanerozoic/16bit-threshold-computer
Organizations
This is a collection of the models in my TinyLlama character series.
Foundational BERT projects of mine. Basic milestones in practical NLP.
Formally verified threshold logic circuits. Compatible with neuromorphic hardware.
Digesting proof assistant libraries for AI ingestion.
This is a collection of the models in my TinyLlama character series.
Foundational BERT projects of mine. Basic milestones in practical NLP.
Foundational BART projects of mine. Basic milestones in practical NLP.