https://hackerpaper.kaipfister.de/p/1808.05415/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=44356351urn:hackerpapers:mention:1808.05415:44356351Mon, 23 Jun 2025 14:46:12 GMT<p>&gt; This almost certainly isn&#x27;t the first time someone has done whatever it is you are claiming. I’ve seen category theory papers on this and related topics, but I haven’t seen code in the wild. Have you? IME this kind of finite state machine business code (as opposed to a FSM embedded in an algorithm somewhere) is written as a one-off each time. E.g., https://arxiv.org/abs/1808.05415 comes to mind. David I. Spivak has also done some work on composition of systems that is relevant.</p><p><a href="https://hackerpaper.kaipfister.de/p/1808.05415/">Paper and discussion history</a>. A mention is not an endorsement.</p>math.CT