Full threadorbital-decay·The next logical step is to express execution graphs in a formalized language.View on HN