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

开发者发布了一个名为 Impossible Machines 的软件原型，探索如何用声明式编程操控物理世界：用户只需演示想要的效果，系统便通过后台约束求解器自动找出实现方式。例如想让曲柄摇响铃铛，系统会自行找到两者的连接方案，遇到障碍也能绕开。由于没有执行器，该概念目前仅在软件中模拟，作者希望获得反馈与扩展思路。