@wordmark@mas.to @tao@mathstodon.xyz The 'bash tetris' example is arguing in favor of mathematics going dark? I think that would be sad. I also suspect that self-play would make tetris in the terminal easy for AI, but that's not so crucial.