10 Jul
2023
10 Jul
'23
1:11 p.m.
if i were to write f() or had written f() i might use a lot of data structures to consider and summarize behaviors of code, or metastructures that could do that in a more general way what kind of data structures involved in outputting a complete description of a given halting problem counterexample a description of the space of possible behaviors or patterns then, we could consider what things might be put in there, and how it would simplify if various things were put in there