Lindsey KuperFeb 26

Old research question: What is a correct emulator?

New research question after thinking about the old research question for a while: Oh god. Oh no. What is an emulator?

Show threadbob
@lindsey if you define a state space of all the I/O devices the emulator is emulating then a computer is an update function over that state space and an emulator is another equivalent computer. if you want timing equivalence then you can put wall timestamps in the state space
Feb 26 at 9:06pmWeb
Show threadbobFeb 26
@lindsey (I'm reading classical RL papers right now so everything is some kind of state space to me atm)
Show threadLindsey KuperFeb 26
@bob obligatory link to https://recurse.social/@lindsey/115191815934445875
Show threadbobFeb 26
@lindsey that is well defined here for a given state space but then you have to define the state space which I guess is moving the problem somewhere else instead of solving it