Intersection of 7 weakly overlapping, but well researched, areas of science and engineering: - Cellular Automata - Electronic Circuits (self-reconfigurable) - Fundamental Physics - Distributed Hardware and Software - Reactive Programming - Claytronics (re-programmable matter) - 3D Printing
We're attempting to invent a model of computation where the computation is a side effect of switching of switching commands.
"Active matter", claytronics, is a swarm of nano-robots, called "catoms", requires parallel, scalable model of computation to execute its locomotion self-assembly and re-configuration commands.
fork() is not an ad-hoc operation in this model, everything computes simultaneously, after considering operational dependencies.
Resembles FPGA with switch-triggered architecture, having first-order re-programming flow.
7-minutes video introduction into SKI combinators: