There's a puzzle game conference called ThinkyCon that's currently running. Some of the talks are about editor tooling (, about the dev tooling used for the game A Monster's Expedition), which feels roughly relevant to this community. But there's one talk in particular that I must draw your attention to because this is the internet and I need to earn points. The talk is called "". The first example they use of a game that ought to have rewind but doesn't is Opus Magnum, a game by Zachtronics that is the spiritual successor to SpaceChem. I'd argue that both of these games are visual programming environments, and that this talk is basically an argument that visual programming deserves the ability to rewind time.

Nice talk, particularly for the glimpses into what it takes to attain this level of polish in a game.

This talk is good ; he visualizes sokoban games as state graphs; interesting approach to understanding their complexities.