Hacker News· bhaprayan·· 11 天前精选AI 评分34
Impossible Machines 展示声明式编程物理世界的软件原型
Show HN: Impossible Machines: declaratively program the physical world
AI 导读
Impossible Machines 通过软件模拟展示了一种声明式控制物理世界的思路，用户演示目标效果，系统再推导实现方式。例如，想用曲柄敲响铃铛，系统会寻找连接路径；遇到障碍时，后台约束求解器会求解绕行方案。
推荐理由
作者以 SQL 式声明式编程作类比，用铃铛、曲柄和障碍场景解释软件模拟如何从目标效果推导执行方式。
来源：Hacker News · impossiblemachines.xyz