IRC channel logs

2025-02-23.log

back to list of logs

<Zarutian_iPad>a propagator excercise: take a program expressed as a controlflow graph and turn that into propagator graph. Each node is either a dataflow transformative node (does something with data in the original program) or a conditional branch node. You can then figure out backwards of the original program controlflow if that program is definitely going to
<Zarutian_iPad>halt or only maybe.