Show HN：Impossible Machines——用声明式编程操控物理世界

Impossible Machines 是一个在软件中模拟的声明式物理世界编程概念：用户只需演示想要达成的效果，系统便自动寻找实现方式。例如要让曲柄带动铃铛，系统会自行找到两者的连接方案，遇到障碍时则通过后台运行的约束求解器绕开。作者因没有执行器而仅做了软件原型，希望借此探索更高抽象层次的问题表达方式。