Yeah, the word shortening seems useful when you want things on a single line. No idea if there is a formal rewriting system in place. I also love that David Wolpert is there doing his inquisition thing. I guess he had a talk earlier or the previous day.
The need for such a formalism seems correct, especially in the current era of agentic swarms. Or when trying to get FRIAM to collaborate on the hard problem. I know many have proposed many before and will certainly do so after, but yeah. "That means you face a combinatorial decision problem nearly the whole way along" I suppose I am reminded of the kind of thing people are doing in Assembly/Constructor theory or something. David has a lot of good thoughts on hypergraphs and operads, so I can see him being a useful collaborator for those that are interested.
.- .-.. .-.. / ..-. --- --- - . .-. ... / .- .-. . / .-- .-. --- -. --. / ... --- -- . / .- .-. . / ..- ... . ..-. ..- .-.. FRIAM Applied Complexity Group listserv Fridays 9a-12p Friday St. Johns Cafe / Thursdays 9a-12p Zoom https://bit.ly/virtualfriam to (un)subscribe http://redfish.com/mailman/listinfo/friam_redfish.com FRIAM-COMIC http://friam-comic.blogspot.com/ archives: 5/2017 thru present https://redfish.com/pipermail/friam_redfish.com/ 1/2003 thru 6/2021 http://friam.383.s1.nabble.com/
