Tools & Libraries

C3S Reflex Circuits

BruceLanLan

Takes one behaviour, looming-evoked escape gated by the giant fiber, and carries it from the MaleCNS v1.0 wiring through an explicit teacher model, then a 16-bit decision table covering all 65,536 rows, and finally a netlist of 173 NAND gates and 6 latches proved exhaustively equivalent to that table. The question is how small a deterministic machine reproduces a connectome-shaped behaviour, and how much of that machine can be proven rather than trusted. A browser bench launches a looming block at a fly and evaluates the netlist cell by cell every 5 ms, verifying its SHA-256 on load.

Official site ↗

C3S Reflex Circuits

#giant-fiber#escape-reflex#circuit-synthesis#formal-verification#malecns

Sources checked

Every fact above was read from these pages on the date the entry was added.