I asked this in the Theoretical Computer Science Stack Exchange, but someone told me this wasn’t theoretical enough, so I’m trying here.