@joshsh @KGConference https://t.co/C3GU0NxBnZ If we could express "data pipelines" at meta level (as property graphs?) and reason on them (data lineage, feature selection, model evaluation, etc) then we might have technology independent "verifiable AI orc
Petri net models for the λ-calculus https://t.co/58gbqYkyFd "On the #controlflow level, transitions send each other tokens in order to detect redexes ... a local change is made #dataflow .. structure of plan is transformed according to the reduction rules
Nice to see so many people like my "hazard logic" paper. I've been obsessed with asynchrony since the mid eighties http://t.co/qrZX5er3D5.
Nice to see so many people like my "hazard logic" paper. I've been obsessed with asynchrony since the mid eighties http://t.co/qrZX5er3D5.