Archived tweet #8483 from the @leastfixedpoint Twitter Archive

@psygnisfive OK. Interesting. ... I hope you've seen the "Abstracting Abstract Machines" work? It seems relevant to this question.