Earlier quoted context omitted.
Could you elaborate a bit more on “formalize mechanical devices”? That has really piqued my interest especially since you mentioned dance choreography as an example. Do you have any examples/prior art you found interesting? One of the topics I occasionally like to think about is how to formally describe manufacturing steps in some structured/programming language. Maybe your program could be it. Would love to hear oth…
Well, I was really into formalizing stuff when I was in college, you know proving that a cryptographic algorithm was correct by formalizing them as black boxes talking to each other, that sort of thing. Then I just started thinking about how to formalize mechanical things. One of the very things I remember is coming to the conclusion that all motions of a machine can be implemented as a combination of linear and rota…
Also, no one in this thread mentioned Opus Magnum from Zachtronics which has some quite neat mechanical movement in it.