Doing anything with Turing-complete games like Factorio or Minecraft is never impressive. Because building SAT solvers or, more generally, logic gate nodes for

Doing anything with Turing-complete games like Factorio or Minecraft is never impressive. Because building SAT solvers or, more generally, logic gate nodes for an abstract Turing based computing machine with digital video game items like in-game conveyor belts is only running a simulation on top of a finite substrate that isn't optimized for productive work. And I don't care one bit about people deriving pleasure from leisure like digital entertainment. In contrast, what is impressive amounts to nothing less than discovering a successor to the universal Turing machine. And you can do that with pen and paper instead of fancy technical equipment like a clunky and uncomfortable development environment that's concerned with manipulating virtual conveyor belts as one of its programming primitives.